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

Detailseite

Person

Druckansicht

Professor Dr. Christoph Kreitz

Adresse Universität Potsdam
Institut für Informatik
Lehrgebiet Theoretische Informatik
August-Bebel-Straße 89
14482 Potsdam

Projekte

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

© 2025 DFG Kontakt / Impressum / Datenschutz