Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functions computation » functions composition, function composition, functional composition
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
functions computation » functions composition, function composition, functional composition
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
1
Vydáno 2010
Obsah:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2008
Obsah:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2006
Obsah:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2006
Obsah:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2006
Obsah:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2013
Obsah:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”Získat plný text
Elektronický zdroj
E-kniha
11
12
Obsah:
“... -- A Layered Approach -- An Open-Source Environment with SystemVerilog -- Teal Basics -- Truss: A...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
13
14
Vydáno 2007
Obsah:
“...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2014
Obsah:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”Získat plný text
Elektronický zdroj
E-kniha
16
17
Vydáno 2006
Obsah:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Získat plný text
Elektronický zdroj
E-kniha
20
Obsah:
“...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha