Examinando Logic 101 - 120 de 1387 resultados

Libro electrónico
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
€197.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
- 1st Edición
- Holger Hermanns; Werner Damm
- Springer
- Diseño fijo
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
A Course on Mathematical Logic
- Shashi Mohan Srivastava
- Springer
- Diseño fijo
A partir de:€12.54 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Extending the Frontiers of Mathematics: Inquiries Into Proof and Augmentation
- 1st Edición
- Edward B. Burger
- Wiley
- Diseño fijo
A partir de:€35.64 EUREl precio incluye IVA
Ver detalles

Libro electrónico
MULTI-OBJECT GROUP DECIS [W/ CD]
Methods, Software and Applications with Fuzzy Set Techniques(With CD-ROM)
- Zhang Guang-quan; Ruan Da; Lu Jie
- ICP
- Diseño fijo
€250.46 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Mengenlehre
- 1st Edición
- Dieter Klaua
- De Gruyter
- Diseño fijo
€114.35 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Fuzzy Logic
A Framework for the New Millennium
- 1st Edición
- Vladimir Dimitrov; Victor Korotkich
- Physica
- Diseño fijo
A partir de:€43.68 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Admissibility of Logical Inference Rules
- Rybakov, V.V.
- North Holland
- Diseño fijo
€144.56 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Quantification in Nonclassical Logic
- Dov M. Gabbay
- Elsevier Science
- Diseño ajustable
€182.00 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Logique des propositions et des prédicats, tables de vérité et axiomatisation
- 1st Edición
- Jean-Blaise Grize
- De Gruyter Mouton
- Diseño fijo
€114.35 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Model Theory
- 3rd Edición
- C.C. Chang
- North Holland
- Diseño ajustable
€57.15 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Serial Rings
- G. Puninski
- Springer
- Diseño fijo
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
- Roberto Gorrieri
- Springer
- Diseño fijo
A partir de:€24.96 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
Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
- 1st Edición
- Verónica Dahl; ‎Ilkka Niemelä
- Springer
- Diseño fijo
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Functional and Logic Programming
8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
- 1st Edición
- Masami Hagiya; ‎Philip Wadler
- Springer
- Diseño fijo
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:€20.28 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Developments in Language Theory
6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
- 1st Edición
- Masami Ito; ‎Masafumi Toyama
- Springer
- Diseño fijo
A partir de:€15.60 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Theorien der reellen Zahlen und Interpretierbarkeit
- 1st Edición
- Daniel Alscher
- De Gruyter
- Diseño fijo
€135.15 EUREl precio incluye IVA
Ver detalles

Libro electrónico
Formale Logik
Logische Systeme. Einführung in die Metalogik
- 1st Edición
- Ludwik Borkowski
- De Gruyter
- Diseño fijo
€134.16 EUREl precio incluye IVA
Ver detalles