Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive compilers » interactive computers, interactive computer, interactive components
compilers programming » computers programming, computers programminng, computer programming
programming programs » programming program, programming programmed, programming problems
programs constraints » progress constraints, programming constraints, problem constraints
constraints data » constraints a, constraints based, constraints _
interactive compilers » interactive computers, interactive computer, interactive components
compilers programming » computers programming, computers programminng, computer programming
programming programs » programming program, programming programmed, programming problems
programs constraints » progress constraints, programming constraints, problem constraints
constraints data » constraints a, constraints based, constraints _
1
Publicado 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2007
Table of Contents:
“... Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2014
Table of Contents:
“...Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2008
Table of Contents:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“... to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2005
Table of Contents:
“... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2013
Table of Contents:
“... -- Towards an Architecture for Managing Big Semantic Data in Real-Time -- Controlled Experiment...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2012
Table of Contents:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... Relations? -- Training Statistical Language Models from Grammar-Generated Data: A Comparative Case-Study...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2013
Table of Contents:
“... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2015
Table of Contents:
“... Data Access -- NEXP-Completeness and Universal Hardness Results for Justification Logic -- A...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2005
Table of Contents:
“... Configuration and Execution of Web Processes -- Short Papers -- Programming and Compiling Web Services in GPSL...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]