Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programming reasoning » programming learning, programming designing, programming evolving
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
programming reasoning » programming learning, programming designing, programming evolving
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
1
Publié 2005
Table des matières:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Accéder au texte intégral
Électronique
eBook
2
Publié 2010
Table des matières:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Accéder au texte intégral
Électronique
eBook
5
Publié 2006
Table des matières:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Accéder au texte intégral
Électronique
eBook
6
Publié 2005
Table des matières:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Accéder au texte intégral
Électronique
eBook
7
Publié 2006
Table des matières:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Accéder au texte intégral
Électronique
eBook
8
9
Publié 2006
Table des matières:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”Accéder au texte intégral
Électronique
eBook
10
11
Publié 2007
Table des matières:
“...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”Accéder au texte intégral
Électronique
eBook
12
Publié 2013
Table des matières:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”Accéder au texte intégral
Électronique
eBook
14
Table des matières:
“... -- A Layered Approach -- An Open-Source Environment with SystemVerilog -- Teal Basics -- Truss: A...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
15
Publié 2006
Table des matières:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”Accéder au texte intégral
Électronique
eBook
16
17
Publié 2008
Table des matières:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”Accéder au texte intégral
Électronique
eBook
18
Table des matières:
“...Introduction -- Reasons for Selecting the Examples -- Refinement Method -- Code Production...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
19
Publié 2010
Table des matières:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Accéder au texte intégral
Électronique
eBook
20
Publié 2014
Table des matières:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”Accéder au texte intégral
Électronique
eBook