Examinando Logic 841 - 860 de 1507 resultados

Libro electrónico
Learning Theory
20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings
- 1st Edición
- Nader Bshouty
- Springer
- Diseño fijo
A partir de:$539.26 MXN
Ver detalles

Libro electrónico
Introduction to Circuit Complexity
A Uniform Approach
- Heribert Vollmer
- Springer
- Diseño fijo
A partir de:$463.00 MXN
Ver detalles

Libro electrónico
Challenges for Action Theories
- Michael Thielscher
- Springer
- Diseño fijo
A partir de:$299.59 MXN
Ver detalles

Libro electrónico
Power Algebras over Semirings
With Applications in Mathematics and Computer Science
- Jonathan S. Golan
- Springer
- Diseño fijo
A partir de:$702.68 MXN
Ver detalles

Libro electrónico
Formal Models of Communicating Systems
Languages, Automata, and Monadic Second-Order Logic
- Benedikt Bollig
- Springer
- Diseño fijo
A partir de:$299.59 MXN
Ver detalles

Libro electrónico
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
- Yves Bertot; Pierre Castéran
- Springer
- Diseño fijo
A partir de:$539.26 MXN
Ver detalles

Libro electrónico
MATHEMATICAL FOUNDATIONS AND ASPECTS OF DISCRETE MATHEMATICS
- Jean Gallier; Jocelyn Quaintance
- WSPC
- Diseño ajustable
$1,416.25 MXN
Ver detalles

Libro electrónico
Hajnal Andréka and István Németi on Unity of Science
From Computing to Relativity Theory Through Algebraic Logic
- Springer
- Diseño ajustable
A partir de:$539.26 MXN
Ver detalles

Libro electrónico
Visualization, Explanation and Reasoning Styles in Mathematics
- 1st Edición
- P. Mancosu; ‎Klaus Frovin Jørgensen; ‎S.A. Pedersen
- Springer
- Diseño fijo
A partir de:$539.26 MXN
Ver detalles

Libro electrónico
Relational Methods in Computer Science
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
- 1st Edición
- Wendy MacCaull; ‎Michael Winter; ‎Ivo Düntsch
- Springer
- Diseño fijo
A partir de:$299.59 MXN
Ver detalles

Libro electrónico
Transactions on Rough Sets V
- 1st Edición
- James Peter; Andrzej Skowron
- Springer
- Diseño fijo
A partir de:$299.59 MXN
Ver detalles

Libro electrónico
Lectures on Inductive Logic
- Jon Williamson
- OUP Oxford
- Diseño ajustable
A partir de:$1,125.56 MXN
Ver detalles

Libro electrónico
Computable Structure Theory
A Unified Approach
- Rodney G. Downey; Alexander Melnikov
- Springer
- Diseño fijo
A partir de:$702.68 MXN
Ver detalles

Libro electrónico
Formal Ontology and Conceptual Realism
- Nino B. Cocchiarella
- Springer
- Diseño fijo
A partir de:$866.09 MXN
Ver detalles

Libro electrónico
The Mathematical and Philosophical Legacy of Alexander Grothendieck
- Birkhäuser
- Diseño ajustable
A partir de:$1,519.75 MXN
Ver detalles

Libro electrónico
Fuzzy Mathematics
A Fundamental Introduction
- Apostolos Syropoulos
- Springer
- Diseño ajustable
A partir de:$245.12 MXN
Ver detalles

Libro electrónico
Quantum Mechanics and Avant-Garde Music
Shadows of the Void
- Rakhat-Bi Abdyssagin
- Springer
- Diseño ajustable
A partir de:$163.41 MXN
Ver detalles

Libro electrónico
Mathematical Logic
- Stephen Cole Kleene
- Dover Publications
- Diseño ajustable
$453.02 MXN
Ver detalles

Libro electrónico
Nonlinear Dimensionality Reduction
- John A. Lee; Michel Verleysen
- Springer
- Diseño fijo
A partir de:$811.62 MXN
Ver detalles

Libro electrónico
Discrete Mathematics
for New Technology
- 1st Edición
- Rowan Garnier; John Taylor
- CRC Press
- Diseño ajustable
$1,320.00 MXN
Ver detalles