Format:
XII, 162 S.
,
graph. Darst.
ISBN:
3486233963
Series Statement:
Gesellschaft für Mathematik und Datenverarbeitung 〈Sankt Augustin〉: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 244
Note:
Zugl.: Berlin, Techn. Univ., Diss., 1995
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Automatisches Beweisverfahren
;
Graphische Benutzeroberfläche
;
Beweis
;
Formale Sprache
;
Computerunterstütztes Verfahren
;
Automatisches Beweisverfahren
;
Formale Sprache
;
Graphische Benutzeroberfläche
;
Hochschulschrift
;
Bericht
;
Hochschulschrift
Bookmarklink