Examinando Logic 161 - 180 de 1479 resultados

Libro electrónico
Advances in Proof Theory
- Reinhard Kahle
- Birkhäuser
- Diseño fijo
A partir de:€31.20 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Towards an Arithmetical Logic
The Arithmetical Foundations of Logic
- Yvon Gauthier
- Birkhäuser
- Diseño ajustable
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Reference
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems
- 1st Edición
- Guanrong Chen; Trung Tat Pham
- CRC Press
- Diseño fijo
€89.43 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Meaning in Dialogue
An Interactive Approach to Logic and Reasoning
- James Trafford
- Springer
- Diseño fijo
A partir de:€28.08 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Teoria degli Automi Finiti
- Aldo de Luca; Flavio D'Alessandro
- Springer
- Diseño fijo
A partir de:€7.29 EUREl precio incluye IVA
Ver detalles

Libro electrónico
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
- 1st Edición
- Jayadev Misra; ‎Tobias Nipkow; ‎Emil Sekerinski
- Springer
- Diseño fijo
A partir de:€28.08 EUREl precio incluye IVA
Ver detalles

Libro electrónico
The Many Valued and Nonmonotonic Turn in Logic
- Gabbay, Dov M.; Woods, John
- North Holland
- Diseño fijo
€202.80 EUREl precio incluye IVA
Ver detalles

Libro electrónico
A Beginner's Guide to Graph Theory
- 2nd Edición
- W. D. Wallis
- Birkhäuser
- Diseño fijo
A partir de:€17.16 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
- 1st Edición
- Warren A. Hunt; Jr.; ‎Fabio Somenzi
- Springer
- Diseño fijo
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Logic Programming
22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
- 1st Edición
- Sandro Etalle; ‎Miroslav Truszczynski
- Springer
- Diseño fijo
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
A Cp-Theory Problem Book
Special Features of Function Spaces
- Vladimir V. Tkachuk
- Springer
- Diseño ajustable
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Innovations in Fuzzy Clustering
Theory and Applications
- Mika Sato-Ilic
- Springer
- Diseño fijo
A partir de:€28.08 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:€14.04 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Formal Methods in Computer Science
- 1st Edición
- Jiacun Wang; William Tepfenhart
- Chapman & Hall
- Diseño ajustable
€106.07 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Founding Mathematics on Semantic Conventions
- Casper Storm Hansen
- Springer
- Diseño ajustable
A partir de:€31.20 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Essential Mathematics for Undergraduates
A Guided Approach to Algebra, Geometry, Topology and Analysis
- Simon G. Chiossi
- Springer
- Diseño ajustable
A partir de:€18.72 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Quantum Groups
A Path to Current Algebra
- 1st Edición
- Ross Street
- Cambridge University Press
- Diseño fijo
A partir de:€59.24 EUREl precio incluye IVA
Ver detalles

Libro electrónico
The Great Formal Machinery Works
Theories of Deduction and Computation at the Origins of the Digital Age
- Jan von Plato
- Princeton University Press
- Diseño fijo
€45.76 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Constructivity and Computability in Historical and Philosophical Perspective
- Jacques Dubucs
- Springer
- Diseño ajustable
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
The Foundations of Computability Theory
- 2nd Edición
- Borut Robič
- Springer
- Diseño fijo
A partir de:€21.84 EUREl precio incluye IVA
Ver detalles