Umfang:
VIII, 259 Seiten :
,
graph. Darst.
ISBN:
3-540-55300-2
,
0-387-55300-2
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
;
Hochschulschrift
Mehr zum Autor:
Biundo-Stephan, Susanne, 1955-
Bookmarklink