
15815 Automated Theorem Proving

[W01] 
Arild Waaler. Connections in nonclassical logics. Handbook of Automated Reasoning, Vol.2, pp.14871578, Elsevier Science and MIT Press, 2001. 
[KS00] 
Christoph Kreitz and Stephan Schmitt. A Uniform Procedure for Converting Matrix Proofs into SequentStyle Systems. Information & Computation 162(12), pp.226254, 2000. 
[W90] 
Lincoln Wallen. Automated Proof Search in NonClassical Logics. MIT Press, 1990. 
[ Home  Schedule  Assignments  Handouts  Software  Resources ]
fp@cs
Frank Pfenning