Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel deduction » parallel reduction, parallel reductions, parallel detection
deduction program » reduction program, reduction programs, education program
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel deduction » parallel reduction, parallel reductions, parallel detection
deduction program » reduction program, reduction programs, education program
using https » using http, nursing https, aging https
1
Pubblicazione 2006
Sommario:
“... Calls and Use of Ensembles in Modular Answer Set Programming -- Deductive Spreadsheets Using Tabled...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Testo
Elettronico
eBook
3
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
4
Pubblicazione 2007
Sommario:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Testo
Elettronico
eBook
5
Pubblicazione 2015
Sommario:
“... Instantiation for Synthesis in SMT -- Deductive Program Repair -- Quantifying Conformance Using the Skorokhod...”Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“... Crossing Using Deductive Cause-Consequence Analysis (DCCA) -- Panel -- Dependability Challenges...”Testo
Elettronico
eBook
7
Pubblicazione 2008
Sommario:
“.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”Testo
Elettronico
eBook
8
Pubblicazione 2013
Sommario:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Testo
Elettronico
eBook