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í:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming deductive » programming inductive, programming deduction, programming reactive
deductive concepts » inductive concept, derivative concepts, education concepts
concepts based » concept based, concepts cases, concepts case
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming deductive » programming inductive, programming deduction, programming reactive
deductive concepts » inductive concept, derivative concepts, education concepts
concepts based » concept based, concepts cases, concepts case
1
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
2
Vydáno 2015
Obsah:
“... -- Explaining deductive inference; Prawitz, Dag -- Necessity of Thought; Cozzo, Cesare -- On the Motives...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... -- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems -- Concept for Controlled Self...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... in the Primary School -- Do Mathematical Symbols Serve to Describe or Construct “Reality”? -- Metaphor...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“... -- Perception-Based Granularity Levels in Concept Representation -- Local Feature Selection with Dynamic...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2015
Obsah:
“... the Language of Legislation to Executable Logic Programs; Adam Wyner -- 16 A Rule–Based Graphical Decision...”Získat plný text
Elektronický zdroj
E-kniha