Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Inductive Synthesis of Functional Programs."
Treffer 2 von 2
|
|
| Link zu diesem Datensatz | https://d-nb.info/971896771 |
| Titel | Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid |
| Person(en) | Schmid, Ute (Mitwirkender) |
| Verlag | Berlin ; Heidelberg : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: c 2003 |
| Umfang/Format | Online-Ressource (PDF) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Schmid, Ute: Inductive synthesis of functional programs |
| Persistent Identifier |
URN: urn:nbn:de:1111-200407262837 DOI: 10.1007/b12055 |
| URL | http://dx.doi.org/10.1007/b12055 |
| ISBN/Einband/Preis | 978-3-540-44846-4 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 2654 |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter | Automatische Programmierung ; Funktionale Programmierung ; Programmsynthese ; Induktion ; Online-Publikation |
| Sachgruppe(n) | 004 Informatik ; 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 2 von 2
Administration
