Schmidt, Renate
cs.man.ac.ukUniversity of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.