Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
deductive functionality » deductive functional, bioactive functionality, inductive functional
functionality function » functionals function, functionaries function, functional functions
programming deductive » programming inductive, programming deduction, programming reactive
parallel programming » parallel processing
function https » functions https, fiction https
deductive functionality » deductive functional, bioactive functionality, inductive functional
functionality function » functionals function, functionaries function, functional functions
programming deductive » programming inductive, programming deduction, programming reactive
parallel programming » parallel processing
function https » functions https, fiction https
1
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Få fuldtekst
Electronisk
eBog
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2015
Indholdsfortegnelse:
“... Instantiation for Synthesis in SMT -- Deductive Program Repair -- Quantifying Conformance Using the Skorokhod...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2013
Indholdsfortegnelse:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Få fuldtekst
Electronisk
eBog