Recursive program optimization through inductive synthesis proof transformation
Madden, Peter 1994 MPI Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/943338794
- Titel
-
Recursive program optimization through inductive synthesis proof transformation
- Art des Inhalts
- Monographie
- Verfassangaben
- Peter Madden. [Max-Planck-Institut für Informatik]
- Autor
-
Madden, Peter
- Verlag
- Saarbrücken : MPI Informatik [1994]
- Jahr
- Erscheinungsdatum: 1994
- Umfang/Format
- 43 S.
- Sprache
- ger
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 42 - 44
- Stand
- 05.01.2025 19:41
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
