Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science (2654), Band 2654)

von Ute Schmid Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-40174-2 ISBN-10: 3-540-40174-1 Springer · 2008