Automatische Synthese rekursiver Programme als Beweisverfahren

Zugl.: Karlsruhe, Univ., Diss., 1991 u.d.T.: Biundo, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Biundo-Stephan, Susanne (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin u.a. Springer 1992
Schriftenreihe:	Informatik-Fachberichte 302
Schlagworte:	Automatic programming (Computer science) > Induktionsbeweis > Programmverifikation > Automatisches Beweisverfahren > Programmsynthese > Automation > Existenzaussage > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Karlsruhe, Univ., Diss., 1991 u.d.T.: Biundo, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Beschreibung:	Literaturverzeichnis Seite [245] - 252
Beschreibung:	VIII, 259 Seiten graph. Darst.
ISBN:	3540553002 3-540-55300-2 0387553002 0-387-55300-2