Eintrag weiter verarbeiten
Buchumschlag von Automatische Synthese rekursiver Programme als Beweisverfahren
Verfügbar über lokaler Bestand

Automatische Synthese rekursiver Programme als Beweisverfahren

Gespeichert in:

Personen und Körperschaften: Biundo-Stephan, Susanne (VerfasserIn), Biundo, Susanne (Sonstige)
Titel: Automatische Synthese rekursiver Programme als Beweisverfahren/ Susanne Biundo
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1989 u.d.T.: Biundo-Stephan, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Medientyp: Buch Hochschulschrift
Sprache: Deutsch
veröffentlicht:
Berlin, Heidelberg [u.a.] Springer 1992
Gesamtaufnahme: Informatik-Fachberichte ; 302
Schlagwörter:
Quelle: Verbunddaten SWB