Detailseite
Professor Dr. Hans Jürgen Ohlbach
Adresse
Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Oettingenstraße 67
80538 München
-
Als beteiligter Wissenschaftler
-
abgeschlossene Projekte
-
GRK 301: Logik in der Informatik (Graduiertenkollegs)
-
-
abgeschlossene Projekte