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