Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
parallel deductive » parallel deduction, parallel reactive, parallel reduction
deductive program » reduction program, reduction programs, education program
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel deductive » parallel deduction, parallel reactive, parallel reduction
deductive program » reduction program, reduction programs, education program
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Publicado em 2006
Sumário:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2007
Sumário:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2015
Sumário:
“... Instantiation for Synthesis in SMT -- Deductive Program Repair -- Quantifying Conformance Using the Skorokhod...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2005
Sumário:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2008
Sumário:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2013
Sumário:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Obter o texto integral
Recurso Electrónico
livro electrónico