Inductive synthesis of functional programs - Universal planning, folding of finite programs, and Schema Abstraction by Analogical Reasoning
| Autor(en): | Schmid, U | Stichwörter: | ACQUISITION; COMPLEXITY; Computer Science; Computer Science, Artificial Intelligence; CYCLIC TOWERS; EXAMPLES; GRAPH; IDENTIFICATION; INFERENCE; LANGUAGE; REPRESENTATIONS; SIMILARITY | Erscheinungsdatum: | 2003 | Herausgeber: | SPRINGER-VERLAG BERLIN | Enthalten in: | INDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS: UNIVERSAL PLANNING, FOLDING OF FINITE PROGRAMS, AND SCHEMA ABSTRACTION BY ANALOGICAL REASONING Lecture Notes in Artificial Intelligence |
Band: | 2654 | Startseite: | 1+ | ISBN: | 9783540401742 | ISSN: | 03029743 |
Show full item record
