Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

André Frochaux

Besucheranschrift:   André Frochaux
Johann von Neumann-Haus
Haus 3 / 4. Etage, Raum 421
Rudower Chaussee 25
12489 Berlin (Adlershof)
Sprechstunde: montags, 13 - 14 Uhr, oder
nach Vereinbarung
Telefon: +49-30-2093 3832
E-Mail:
Öffentlicher Schlüssel
URL: www.informatik.hu-berlin.de/~frochaua/
Dr. André Frochaux

Lehre

Publikationen

snippets of logic

Die snippets sind eine kleine Skriptsammlung zur Veranschaulichung, welche unregelmäßig updates erfahren.