Web Directory
 

Schmidt, Renate

  Link Details for: Schmidt, Renate
Link Title: Schmidt, Renate Open in a new window
Link URL: http://www.cs.man.ac.uk/~schmidt/
Link Details: University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Category: Top : Science : Math : Logic_and_Foundations : People
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Schmidt, Renate