Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
intelligence combining » intelligence computing, intelligence community, intelligence gaining
combining program » combining programs, combined program, combining problem
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
intelligence combining » intelligence computing, intelligence community, intelligence gaining
combining program » combining programs, combined program, combining problem
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
1
Publicado 2006
Tabla de Contenidos:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”Enlace del recurso
Electrónico
eBook
2
Publicado 2010
Tabla de Contenidos:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Enlace del recurso
Electrónico
eBook
3
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
4
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
5
Publicado 2015
Tabla de Contenidos:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Enlace del recurso
Electrónico
eBook
6
Publicado 2013
Tabla de Contenidos:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”Enlace del recurso
Electrónico
eBook
7
Publicado 2006
Tabla de Contenidos:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Enlace del recurso
Electrónico
eBook
8
Publicado 2007
Tabla de Contenidos:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”Enlace del recurso
Electrónico
eBook
9
Tabla de Contenidos:
“... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
10
Publicado 2007
Tabla de Contenidos:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Enlace del recurso
Electrónico
eBook
11
Publicado 2007
Tabla de Contenidos:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Enlace del recurso
Electrónico
eBook
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Tabla de Contenidos:
“... Programs. A Theory of Name Resolution -- A Core Calculus for XQuery 3.0: Combining Navigational and Pattern...”Enlace del recurso
Electrónico
eBook
13
Publicado 2005
Tabla de Contenidos:
“... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”Enlace del recurso
Electrónico
eBook
14
Publicado 2015
Tabla de Contenidos:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”Enlace del recurso
Electrónico
eBook
15
Publicado 2013
Tabla de Contenidos:
“... Domination -- Approximate Epistemic Planning with Postdiction as Answer-Set Programming -- Combining...”Enlace del recurso
Electrónico
eBook
16
Publicado 2013
Tabla de Contenidos:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”Enlace del recurso
Electrónico
eBook
17
Publicado 2014
Tabla de Contenidos:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”Enlace del recurso
Electrónico
eBook
18
Publicado 2008
Tabla de Contenidos:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Enlace del recurso
Electrónico
eBook
19
Publicado 2007
Tabla de Contenidos:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”Enlace del recurso
Electrónico
eBook
20
Publicado 2014
Tabla de Contenidos:
“... -- Intelligent Semantic Mediation, Knowledge Acquisition and User Interaction -- SemaVis – A New Approach...”Enlace del recurso
Electrónico
eBook