Examinando Logic 861 - 880 de 1419 resultados

Libro electrónico
Challenges for Action Theories
- Michael Thielscher
- Springer
- Diseño fijo
A partir de:S/ 57.35 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Computational Systems Biology VIII
- 1st Edición
- Corrado Priami
- Springer
- Diseño fijo
A partir de:S/ 57.35 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Proof Theory for Fuzzy Logics
- George Metcalfe; Nicola Olivetti; Dov M. Gabbay
- Springer
- Diseño fijo
A partir de:S/ 124.08 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Algorithms for Constructing Computably Enumerable Sets
- Kenneth J. Supowit
- Birkhäuser
- Diseño ajustable
A partir de:S/ 67.77 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Rough Sets V
- 1st Edición
- James Peter; Andrzej Skowron
- Springer
- Diseño fijo
A partir de:S/ 57.35 PENEl precio incluye IGV
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:S/ 31.24 PENEl precio incluye IGV
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:S/ 103.22 PENEl precio incluye IGV
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:S/ 217.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Information and Knowledge
A Constructive Type-theoretical Approach
- Giuseppe Primiero
- Springer
- Diseño fijo
A partir de:S/ 186.63 PENEl precio incluye IGV
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:S/ 57.35 PENEl precio incluye IGV
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:S/ 57.35 PENEl precio incluye IGV
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:S/ 143.36 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Fast Track to Forcing
- Mirna Džamonja
- Cambridge University Press
- Diseño fijo
A partir de:S/ 102.87 PENEl precio incluye IGV
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:S/ 165.78 PENEl precio incluye IGV
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
S/ 406.63 PENEl precio incluye IGV
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:S/ 165.78 PENEl precio incluye IGV
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:S/ 31.28 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Handbook of Proof Theory
- Buss, S.R.
- Elsevier Science
- Diseño fijo
S/ 816.74 PENEl precio incluye IGV
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:S/ 57.35 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Dependence Logic
Theory and Applications
- Birkhäuser
- Diseño fijo
A partir de:S/ 113.65 PENEl precio incluye IGV
Ver detalles