Prof. Dr. em. Hans Jürgen Ohlbach Kontakt Ein neues Buch:
Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker Teil 1 Teil 2
Navigationspfad
Startseite
Mitarbeiter
Ehemalige Mitarbeiter
Hans Jürgen Ohlbach
Inhaltsbereich
Kontakt
Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Oettingenstraße 67
D-80538 München
E-Mail:
o h l b a c h [at] ifi * lmu * de
Weitere Informationen
Ein neues Buch:
Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
Das Buch gibt es auch innerhalb des Instituts für Informatik der LMU unter
Teil 1 und Teil 2