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