Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 3540553002 (Berlin)
- 0387553002 (New York)
- QA76.6 .B574 1992
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Health Sciences Library Collection General Collection | QA76.6 .B574 1992 (Browse shelf(Opens below)) | 1-1 | Available | 165162 |
Originally presented as the author's thesis (doctoral)--Universität Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.
Includes bibliographical references (p. [245]-252) and index.
There are no comments on this title.
Log in to your account to post a comment.