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