Projekt

PGKit

Generische Benutzerschnittstellen für interaktive Theorembeweiser

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen.

Partner

  • IBM Deutschland
  • University of Edinburgh

Projekt teilen auf:

Ansprechpartner

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence