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 functionality » protein functionality, programs functional, supra functionality
functionality https » functionality maps, functionality needs, functionality pt
computing programs » comparing programs, computing progress, conducting programs
programs program » programming program
intelligent » intelligence
program functionality » protein functionality, programs functional, supra functionality
functionality https » functionality maps, functionality needs, functionality pt
computing programs » comparing programs, computing progress, conducting programs
programs program » programming program
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 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
8
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2013
Indholdsfortegnelse:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Få fuldtekst
Electronisk
eBog
12
Indholdsfortegnelse:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
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
14
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
15
Indholdsfortegnelse:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
16
Udgivet 2007
Indholdsfortegnelse:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2015
Indholdsfortegnelse:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog