Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Artificial intelligence
401
Artificial Intelligence
400
Computers
153
Software engineering
120
Application software
118
Algorithms
117
Mathematical logic
116
més ...
Alternatives de cerca:
computing programs » comparing programs, computing progress, conducting programs
program functions » programs functional, program foundations, programme function
programs program » programming program
functions https » foundations https
intelligent » intelligence
computing programs » comparing programs, computing progress, conducting programs
program functions » programs functional, program foundations, programme function
programs program » programming program
functions https » foundations https
intelligent » intelligence
1
Publicat 2015
Taula de continguts:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
6
Publicat 2012
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
7
Publicat 2011
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
8
Publicat 2011
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Obtenir text complet
Electrònic
eBook
10
Taula de continguts:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Obtenir text complet
Electrònic
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Obtenir text complet
Electrònic
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Obtenir text complet
Electrònic
eBook
18
Publicat 2015
Taula de continguts:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
20
Publicat 2013
Taula de continguts:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”Obtenir text complet
Electrònic
eBook