Umfang:
VIII, 259 Seiten
,
graph. Darst.
ISBN:
3540553002
,
0387553002
Serie:
Informatik-Fachberichte 302
Anmerkung:
Literaturverzeichnis Seite [245] - 252
,
Zugl.: Karlsruhe, Univ., Diss., 1991 u.d.T.: Biundo, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Sprache:
Deutsch
Fachgebiete:
Informatik
Schlagwort(e):
Existenzaussage
;
Automatisches Beweisverfahren
;
Induktionsbeweis
;
Programmsynthese
;
Existenzaussage
;
Induktionsbeweis
;
Automatisches Beweisverfahren
;
Induktionsbeweis
;
Automation
;
Programmverifikation
;
Automatisches Beweisverfahren
;
Induktionsbeweis
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
Mehr zum Autor:
Biundo-Stephan, Susanne 1955-
Bookmarklink