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