Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Artificial intelligence
401
Artificial Intelligence
400
Computers
153
Software engineering
120
Application software
118
Algorithms
117
Mathematical logic
116
mere ...
Søg alternativer:
program programme » programmes programme, programs program, programs programming
program program » programs program, programming program
function https » functions https, fiction https
intelligent » intelligence
program programme » programmes programme, programs program, programs programming
program program » programs program, programming program
function https » functions https, fiction https
intelligent » intelligence
1
Udgivet 2015
Indholdsfortegnelse:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2014
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
6
Udgivet 2012
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
7
Udgivet 2014
Indholdsfortegnelse:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
9
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Få fuldtekst
Electronisk
eBog
15
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog
16
17
Indholdsfortegnelse:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Udgivet 2007
Indholdsfortegnelse:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2015
Indholdsfortegnelse:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Få fuldtekst
Electronisk
eBog