Umfang:
XII, 162 S.
,
graph. Darst.
ISBN:
3486233963
Serie:
Gesellschaft für Mathematik und Datenverarbeitung 〈Sankt Augustin〉: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 244
Anmerkung:
Zugl.: Berlin, Techn. Univ., Diss., 1995
Sprache:
Deutsch
Fachgebiete:
Informatik
,
Mathematik
Schlagwort(e):
Automatisches Beweisverfahren
;
Graphische Benutzeroberfläche
;
Beweis
;
Formale Sprache
;
Computerunterstütztes Verfahren
;
Automatisches Beweisverfahren
;
Formale Sprache
;
Graphische Benutzeroberfläche
;
Hochschulschrift
;
Bericht
;
Hochschulschrift
Bookmarklink