Research Catalog
Automatische Synthese rekursiver Programme als Beweisverfahren
- Title
- Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.
- Author
- Biundo, Susanne.
- Publication
- Berlin ; New York : Springer-Verlag, c1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person. | Book/Text | Use in library | ReCAP 11-44149 | Schwarzman Building - General Research Room 315 |
Details
- Description
- viii, 259 p.; 24 cm.
- Series Statement
- Informatik-Fachberichte ; 302
- Uniform Title
- Informatik-Fachberichte ; 302.
- Subject
- Note
- Originally presented as the author's thesis (doctoral)--Universität Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.
- Bibliography (note)
- Includes bibliographical references (p. [245]-252) and index.
- Call Number
- ReCap 11-44149
- ISBN
- 3540553002 (Berlin)
- 9783540553007 (Berlin)
- 0387553002 (New York)
- 9780387553009 (New York)
- LCCN
- 93201302
- OCLC
- 29180482
- Author
- Biundo, Susanne.
- Title
- Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.
- Imprint
- Berlin ; New York : Springer-Verlag, c1992.
- Series
- Informatik-Fachberichte ; 302Informatik-Fachberichte ; 302.
- Bibliography
- Includes bibliographical references (p. [245]-252) and index.
- Research Call Number
- ReCap 11-44149