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

Detailseite

Institution

Druckansicht

Universität Potsdam
Institut für Informatik
Lehrgebiet Theoretische Informatik

Adresse August-Bebel-Straße 89
14482 Potsdam
Deutschland

GERiT Diese Institution in GERiT

14482 Potsdam

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Vollautomatisches Beweisen in modaler Prädikatenlogik: Kalküle, Implementierungen und Problemsammlungen
    (Antragsteller Kreitz, Christoph )

© 2024 DFG Kontakt / Impressum / Datenschutz