Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen
Schwerpunkte in Lehre und Forschung:
- Logik in der Informatik
- Grammatiken und Maschinenmodelle
- Interaktives Theorembeweisen (Beweisassistenten)
- Automatisches Theorembeweisen
Adresse
Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen
Oettingenstraße 67
D-80538 München
Tel.: +49 89 2180-9337
Fax: +49 89 2180-9338