Sehr empfehlenswert:

• Wolfgang Bibel: Deduktion -- Automatisierung der Logik, R.Oldenbourg, 1992 Dieses Buch ist nicht mehr im Handel und kann als Postscriptfile heruntergeladen werden (Zugriff nur aus dem Netz der Universität Potsdam): W.Bibel: Deduktion -- Automatisierung der Logik
• Lincoln Wallen: Automated deduction in nonclassical logics, MIT Press, 1990
• Folien der Vorlesung.
• spezielle Fachartikel
  • T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods
  • Connection-based Theorem Proving in Classical and Non-classical Logics
  • Connection-Driven Inductive Theorem Proving

Auch lesenswert:

• Wolfgang Bibel: Automated Theorem Proving, second edition, Vieweg Verlag, 1987
• Peter B. Andrews: An Introduction to mathematical logic and Type Theory: To Truth through Proof, Kluwer, Applied Logic Series 27, 2002
• A. Robinson & A. Voronkov: Handbook of Automated Reasoning, Elsevier, 2001

Lesenswertes zur Arbeitsethik

• Code of Academic Integrity (Cornell University) ,
• Aufdeckung von Plagiaten (FHTW Berlin)
• Missverständnisse zum Urheberrecht

Programme

• leanCoP &Co

• Zum Lesen und Drucken der Folien und der Übungsblätter kann der kostenlose Adobe Acrobat Reader verwendet werden.