
Inductive Synthesis of Functional Programs
de Ute Schmid
Materias
Ediciones (2)
- Inductive Synthesis of Functional Programs (2006)
Springer London, Limited · inglés · ISBN 9783540448464
- Inductive Synthesis of Functional Programs (2003)
Springer · inglés · ISBN 9783540401742


