Format:
XII, 162 S. : graph. Darst.
ISBN:
3-486-23396-3
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
;
Hochschulschrift
;
Hochschulschrift