Format:
VIII, 259 Seiten
,
graph. Darst.
ISBN:
3540553002
,
0387553002
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
Author information:
Biundo-Stephan, Susanne 1955-