Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

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

GERiT This institution in GERiT

14482 Potsdam

Projects

Research Grants
- Completed projects
  - Vollautomatisches Beweisen in modaler Prädikatenlogik: Kalküle, Implementierungen und Problemsammlungen
    (Applicant Kreitz, Christoph )

© 2024 DFG Disclaimer / Copyright / Privacy Policy