Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
function functional » functions functional, fractional functional, nutrition functional
parallel deductive » parallel deduction, parallel reactive, parallel reduction
deductive program » reduction program, reduction programs, education program
program function » programme function, programs functional, program foundation
functional https » functions https, function https, functional hop
function functional » functions functional, fractional functional, nutrition functional
parallel deductive » parallel deduction, parallel reactive, parallel reduction
deductive program » reduction program, reduction programs, education program
program function » programme function, programs functional, program foundation
functional https » functions https, function https, functional hop
1
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obtenir text complet
Electrònic
eBook
6
Publicat 2015
Taula de continguts:
“... Instantiation for Synthesis in SMT -- Deductive Program Repair -- Quantifying Conformance Using the Skorokhod...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Obtenir text complet
Electrònic
eBook