Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.
Material type: TextSeries: Informatik-Fachberichte ; 302Publication details: Berlin ; New York : Springer-Verlag, c1992.Description: viii, 259 p. ; 24 cmISBN:- 3540553002 (Berlin)
- 0387553002 (New York)
- QA76.6 .B574 1992
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Books | Health Sciences Library Collection General Collection | QA76.6 .B574 1992 (Browse shelf(Opens below)) | 1-1 | Available | 165162 |
Browsing Health Sciences Library Collection shelves, Shelving location: General Collection Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
Q180. L63 1998 Reading and understanding research / | Q180.55. R46 1995 Research ethics : | QA37 .D36 1960 An introduction to the mathematics of medicine and biology, | QA76.6 .B574 1992 Automatische Synthese rekursiver Programme als Beweisverfahren / | QA76.887 .P38 1988 DNA computing : | QA 76.9 .E95R43 1992 Data quality : | QC 880 .H65 2013 An introduction to dynamic meteorology / |
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.