Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
401
Artificial Intelligence
400
Computers
153
Software engineering
120
Application software
118
Algorithms
117
Mathematical logic
116
more ...
Search alternatives:
intelligence computer » intelligent computing
program problem » programs problem, programs problems, problem problem
program program » programs program, programming program
functions https » foundations https
intelligence computer » intelligent computing
program problem » programs problem, programs problems, problem problem
program program » programs program, programming program
functions https » foundations https
1
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
3
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
5
Table of Contents:
“...-RNC Algorithm -- Automatically Defined Functions in Problem Solving -- Polynomial Induction and Time...”
View full text
View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”View full text
Electronic
eBook
15
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
16
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook