Logik und diskrete Systeme
Prof. Dr. Stephan Kreutzer
Logik und diskrete Systeme
Arbeitsgruppe Logik in der Informatik
Professor Dr. Stephan Kreutzer
Juniorprofessor am
Institut für Informatik
Humboldt-Universität zu Berlin
Institut für Informatik
Humboldt-Universität zu Berlin
| Kontakt | Mitarbeiter |
| Forschung | Lehre |
| Publikationen | Verweise |
| Arbeitsgruppe Logik in der Informatik | this page in English |