Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für ... - Hans Jürgen Ohlbach, Norbert Eisinger - Google Books

https://books.google.de/books?id=DBk0DwAAQBAJ&pg=PA49#v=onepage&q&f=false

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur…

Deduktionssysteme

http://www.dfki.de/~hjb/Deduktionssysteme/

Keine Beschreibung vorhanden.

Adressen des Instituts für Informatik — Institut für Informatik

http://www.ifi.lmu.de/institut/adressen

Keine Beschreibung vorhanden.

Heinrich Herre's Homepage

http://www.informatik.uni-leipzig.de/fk/pers/herre.html

Keine Beschreibung vorhanden.

Lecture Notes in Informatics

http://subs.emis.de/LNI/Proceedings/Proceedings133.html

Keine Beschreibung vorhanden.

http://rpb.lbz-rlp.de/cgi-bin/wwwalleg/wiki.pl?db=rpb&index=1&zeilen=1&s1=o33301003?

Keine Beschreibung vorhanden.