Sehr empfehlenswert:
- 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 :
- Automated deduction in nonclassical logics, MIT Press, 1990 :
- Folien der Vorlesung.
- spezielle Fachartikel
Auch lesenswert:
- Automated Theorem Proving, second edition, Vieweg Verlag, 1987 :
- An Introduction to mathematical logic and Type Theory: To Truth through Proof, Kluwer, Applied Logic Series 27, 2002 :
- 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.