Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
modulo functionality » morpho functionality, multi functionality, double functionality
programming modulo » programming modular, programming model, programming models
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
modulo functionality » morpho functionality, multi functionality, double functionality
programming modulo » programming modular, programming model, programming models
function https » functions https, fiction https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog
2
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2015
Indholdsfortegnelse:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2015
Indholdsfortegnelse:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2014
Indholdsfortegnelse:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”Få fuldtekst
Electronisk
eBog