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:
programming programming » programming programmed, programming program
intelligent computer » intelligence computer, intelligent computing, internet computer
computer programming » computer program, computer programs
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction https
programming programming » programming programmed, programming program
intelligent computer » intelligence computer, intelligent computing, internet computer
computer programming » computer program, computer programs
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction 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 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
5
Published 2014
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
6
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
7
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
8
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
10
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
12
Table of Contents:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
View full text
View full text
Electronic
eBook
13
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
14
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
15
Published 2007
Table of Contents:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
17
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook