Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Thomas Zeume

Adresse Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation
Wasserstraße 221
44799 Bochum

Projekte

Als Antragsteller
- laufende Projekte
  - Formale Grundlagen von Lernsystemen für die Theoretische Informatik (Sachbeihilfen)
  - Perspektiven auf die dynamische Komplexitätstheorie (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz