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

Detailseite

Institution

Druckansicht

Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation

Adresse Wasserstraße 221
44799 Bochum
Deutschland

GERiT Diese Institution in GERiT

44799 Bochum

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz