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