Eintrag weiter verarbeiten
Automatische Synthese rekursiver Programme als Beweisverfahren
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
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 |
Online
Zentralblatt MATH, Inhaltstext, VerlagUniversitätsbibliothek
Verfügbar Bestellung |
Regalstandort:
SS 4680 302
Literaturabteilung:
Freihand
Anmerkungen:
|