Automatische Modellbildung i.d. Prädikatenlogik m.Gleichheit

Alexander Leitsch (ORCID: )

Disciplines

Computer Sciences (60%); Mathematics (40%)

Keywords

  • Automatisches Beweisen Automatische Modellbildung Modellrepräsentation Prädikatenlogik m. Gleichheit Gleichheitskalküle,
  • Automatische Modellb,
  • Automatisches Beweis,
  • Gleichheitskalküle,
  • Modellrepräsentation,
  • Prädikatenlogik m. G
Research institution(s)
Project participants