Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intelligence combining » intelligence computing, intelligence community, intelligence gaining
program programme » program program, programmes programme, programs programming
programs program » programming program
function https » functions https, fiction https
intelligence combining » intelligence computing, intelligence community, intelligence gaining
program programme » program program, programmes programme, programs programming
programs program » programming program
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”View full text
Electronic
eBook
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”View full text
Electronic
eBook
9
Table of Contents:
“... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...”
View full text
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”View full text
Electronic
eBook
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Programs. A Theory of Name Resolution -- A Core Calculus for XQuery 3.0: Combining Navigational and Pattern...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Domination -- Approximate Epistemic Planning with Postdiction as Answer-Set Programming -- Combining...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- Intelligent Semantic Mediation, Knowledge Acquisition and User Interaction -- SemaVis – A New Approach...”View full text
Electronic
eBook