Format:
VIII, 259 Seiten :
,
graph. Darst.
ISBN:
3-540-55300-2
,
0-387-55300-2
Series Statement:
Informatik-Fachberichte 302
Note:
Literaturverzeichnis Seite [245] - 252
,
Zugl.: Karlsruhe, Univ., Diss., 1991 u.d.T.: Biundo, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Language:
German
Subjects:
Computer Science
Keywords:
Existenzaussage
;
Automatisches Beweisverfahren
;
Induktionsbeweis
;
Programmsynthese
;
Existenzaussage
;
Induktionsbeweis
;
Automatisches Beweisverfahren
;
Induktionsbeweis
;
Automation
;
Programmverifikation
;
Automatisches Beweisverfahren
;
Induktionsbeweis
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
Author information:
Biundo-Stephan, Susanne, 1955-