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!

Keine Ergebnisse!