Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Inductive Synthesis of Functional Programs."
Treffer 2 von 3
|
|
| Link zu diesem Datensatz | https://d-nb.info/967573157 |
| Titel | Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid |
| Person(en) | Schmid, Ute (Verfasser) |
| Verlag | Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2003 |
| Umfang/Format | XXII, 398 S. : graph. Darst. ; 24 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Inductive synthesis of functional programs |
| ISBN/Einband/Preis |
978-3-540-40174-2 kart. : EUR 57.78 3-540-40174-1 kart. : EUR 57.78 |
| EAN | 9783540401742 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; Vol. 2654 |
| Anmerkungen | Literaturverz. S. 327 - 340 |
| Schlagwörter | Automatische Programmierung ; Funktionale Programmierung ; Programmsynthese ; Induktion |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2003 A 46492 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2003 A 46492 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 2 von 3
Administration
