Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.
automated synthesis of recursive programs as a theorem proving tool
Saved in:
Personal Name(s): | Biundo, Susanne. |
---|---|
Imprint: |
Berlin, New York :
Springer-Verlag,
1992.
|
Physical Description: |
viii, 259 p. |
Note: |
Originally presented as the author's thesis (doctoral)--Universität Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren deutsch |
ISBN: |
0387553002 (New York) 3540553002 (Berlin) |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Informatik-Fachberichte ;
302. |
Keywords: |
structural induction heuristics |
Subject (ZB): | |
Classification: |
ZB | |
---|---|
Open Stacks Call number: S 003402-0302'01' Barcode: 1092101568 Available |