Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
program functionality » protein functionality, programs functional, supra functionality
parallel deduction » parallel reduction, parallel reductions, parallel detection
functionality code » functionality cloud, functionality lower, functional code
deduction program » reduction program, reduction programs, education program
code https » care https, body https, models https
program functionality » protein functionality, programs functional, supra functionality
parallel deduction » parallel reduction, parallel reductions, parallel detection
functionality code » functionality cloud, functionality lower, functional code
deduction program » reduction program, reduction programs, education program
code https » care https, body https, models https
1
Pubblicazione 2006
Sommario:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Pubblicazione 2013
Sommario:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Testo
Elettronico
eBook
5
Pubblicazione 2007
Sommario:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Testo
Elettronico
eBook
6
Pubblicazione 2015
Sommario:
“... Instantiation for Synthesis in SMT -- Deductive Program Repair -- Quantifying Conformance Using the Skorokhod...”Testo
Elettronico
eBook
7
Pubblicazione 2005
Sommario:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”Testo
Elettronico
eBook
9
Pubblicazione 2013
Sommario:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Testo
Elettronico
eBook