Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functions computation » functions composition, function composition, functional composition
programming deductive » programming inductive, programming deduction, programming reactive
function computation » function computing, function decomposition, section computational
deductive methods » deductive method, destructive methods, predictive methods
methods example » methods examples, methods sample, method examples
functions computation » functions composition, function composition, functional composition
programming deductive » programming inductive, programming deduction, programming reactive
function computation » function computing, function decomposition, section computational
deductive methods » deductive method, destructive methods, predictive methods
methods example » methods examples, methods sample, method examples
1
Publicat 2005
Taula de continguts:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”Obtenir text complet
Electrònic
eBook