Examinando Logic 861 - 880 de 1421 resultados

Libro electrónico
Algorithms for Constructing Computably Enumerable Sets
- Kenneth J. Supowit
- Birkhäuser
- Diseño ajustable
A partir de:$28,650.97 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Transactions on Rough Sets V
- 1st Edición
- James Peter; Andrzej Skowron
- Springer
- Diseño fijo
A partir de:$13,444.11 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Die Gödel'schen Unvollständigkeitssätze
Eine geführte Reise durch Kurt Gödels historischen Beweis
- Dirk W. Hoffmann
- Spektrum Akademischer Verlag
- Diseño fijo
A partir de:$8,978.85 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Uncertainty-Based Information
Elements of Generalized Information Theory
- 2nd Edición
- George J. Klir; Mark J. Wierman
- Physica
- Diseño fijo
A partir de:$38,357.59 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Fuzzy Modeling with Spatial Information for Geographic Problems
- 1st Edición
- Frederick E. Petry; ‎Vincent B. Robinson; ‎Maria A. Cobb
- Springer
- Diseño fijo
A partir de:$67,417.87 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Information and Knowledge
A Constructive Type-theoretical Approach
- Giuseppe Primiero
- Springer
- Diseño fijo
A partir de:$57,194.94 ARSEl precio incluye IVA
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:$13,559.90 ARSEl precio incluye IVA
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:$13,444.11 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Transition to Advanced Mathematics
- 1st Edición
- Danilo R. Diedrichs; Stephen Lovett
- Chapman & Hall
- Diseño ajustable
A partir de:$58,760.88 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Fast Track to Forcing
- Mirna Džamonja
- Cambridge University Press
- Diseño fijo
A partir de:$42,165.38 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Scheduling in Parallel Computing Systems
Fuzzy and Annealing Techniques
- Shaharuddin Salleh; Albert Y. Zomaya
- Springer
- Diseño fijo
A partir de:$62,964.52 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method
- Futatsugi, K.; Nakagawa, A.T.; Tamai, T.
- Elsevier Science
- Diseño fijo
$166,667.21 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Explanation and Proof in Mathematics
Philosophical and Educational Perspectives
- 1st Edición
- Gila Hanna; ‎Hans Niels Jahnke; ‎Helmut Pulte
- Springer
- Diseño ajustable
A partir de:$56,679.77 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Logica
Volume 1 - Dimostrazioni e modelli al primo ordine
- Vito Michele Abrusci; Lorenzo Tortora de Falco
- Springer
- Diseño fijo
A partir de:$13,044.08 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Handbook of Proof Theory
- Buss, S.R.
- Elsevier Science
- Diseño fijo
$334,758.93 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Rewriting and Typed Lambda Calculi
Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:$16,901.16 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Dependence Logic
Theory and Applications
- Birkhäuser
- Diseño fijo
A partir de:$28,015.47 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
The Homotopy Theory of (∞,1)-Categories
- Julia E. Bergner
- Cambridge University Press
- Diseño fijo
A partir de:$51,282.22 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
- Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
- World Scientific
- Diseño ajustable
$111,111.48 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
- 2nd Edición
- Evgueni D. Solojentsev
- Springer
- Diseño fijo
A partir de:$24,295.80 ARSEl precio incluye IVA
Ver detalles