Rajaa
Hakutulokset: 9783540401742
Rajaa
yksi hakutulos.
Inductive Synthesis of Functional Programs
nidottu,
2003,
englanti,
ISBN 9783540401742
Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the …