1
Julkaistu 2005
Sisällysluettelo: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... -- Explaining deductive inference; Prawitz, Dag -- Necessity of Thought; Cozzo, Cesare -- On the Motives...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ... -- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems -- Concept for Controlled Self...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ... -- Perception-Based Granularity Levels in Concept Representation -- Local Feature Selection with Dynamic...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2005
Sisällysluettelo: ... in the Primary School -- Do Mathematical Symbols Serve to Describe or Construct “Reality”? -- Metaphor...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2015
Sisällysluettelo: ... the Language of Legislation to Executable Logic Programs; Adam Wyner -- 16 A Rule–Based Graphical Decision...
Hae kokoteksti
Elektroninen E-kirja