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

Alexander Leitsch (ORCID: )

Wissenschaftsdisziplinen

Informatik (60%); Mathematik (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
Forschungsstätte(n)
Nationale Projektbeteiligte