Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
modulo functioning » couple functioning, truly functioning
parallel function » parallel functional, parallel auction, parallel union
functioning using » function using, functions using, functioning among
function modulo » function moduli, function model, function models
using https » using http, nursing https, aging https
modulo functioning » couple functioning, truly functioning
parallel function » parallel functional, parallel auction, parallel union
functioning using » function using, functions using, functioning among
function modulo » function moduli, function model, function models
using https » using http, nursing https, aging https
1
Pubblicazione 2006
Sommario:
“... Second Order Joinability Formulae -- SAT Solving for Argument Filterings -- Inductive Decidability Using...”Testo
Elettronico
eBook
2
Pubblicazione 2014
Sommario:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Testo
Elettronico
eBook
3
Pubblicazione 2015
Sommario:
“... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...”Testo
Elettronico
eBook
4
Pubblicazione 2012
Sommario:
“... Modulo Zero-Dimensional Regular Chains -- Sparse Polynomial Powering Using Heaps -- Stability Conditions...”Testo
Elettronico
eBook
5
Pubblicazione 2013
Sommario:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Testo
Elettronico
eBook
6
Pubblicazione 2013
Sommario:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”Testo
Elettronico
eBook
7
Pubblicazione 2005
Sommario:
“... Game Equilibria Using Temporal Logic -- Alternation in Equational Tree Automata Modulo XOR....”Testo
Elettronico
eBook
8
Pubblicazione 2015
Sommario:
“... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”Testo
Elettronico
eBook
10
Pubblicazione 2008
Sommario:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Testo
Elettronico
eBook