Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
parallel deductive » parallel deduction, parallel reactive, parallel reduction
deductive problem » deduction problem, reduction problem, deductive program
function function » function functional, functions functional, function dysfunction
problem function » problems function, problems functions, problem functional
function https » functions https, fiction https
parallel deductive » parallel deduction, parallel reactive, parallel reduction
deductive problem » deduction problem, reduction problem, deductive program
function function » function functional, functions functional, function dysfunction
problem function » problems function, problems functions, problem functional
function https » functions https, fiction https
1
Udgivet 2013
Indholdsfortegnelse:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...Invited Talk -- Constant-Working-Space Algorithms: How Fast Can We Solve Problems without Using Any...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2007
Indholdsfortegnelse:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2013
Indholdsfortegnelse:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Få fuldtekst
Electronisk
eBog