BibSonomy :: user  :: thau ::

bookmarks

publications

(2)   

• The complexity of theorem proving procedures
  S. A. Cook Proceedings of the Third Annual ACM Symposium, page151--158. New York, ACM, (1971)
  to propositional-logic complexity sat by thau and 2 other people on Feb 20, 2008, 2:37 AM
  BibTeX 
• Spatial Reasoning with Propositional Logics
  Brandon Bennett KR'94: Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, California, (1994)
  to rcc propositional-logic by thau and 2 other people on Nov 20, 2007, 9:12 PM
  URL | BibTeX