Examinando Logic 161 - 180 de 1423 resultados

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:S/ 57.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
- 1st Edición
- Frank Pfenning
- Springer
- Diseño fijo
A partir de:S/ 57.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Developments in Language Theory
10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
- 1st Edición
- Oscar H. Ibarra; ‎Zhe Dang
- Springer
- Diseño fijo
A partir de:S/ 57.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Giuseppe Peano between Mathematics and Logic
Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008
- 1st Edición
- Fulvia Skof
- Springer
- Diseño fijo
A partir de:S/ 102.86 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Brouwer meets Husserl
On the Phenomenology of Choice Sequences
- Mark van Atten
- Springer
- Diseño fijo
A partir de:S/ 165.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Parameterized Complexity
- Rodney G. Downey; M.R. Fellows
- Springer
- Diseño fijo
A partir de:S/ 279.50 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic for Concurrency and Synchronisation
- 1st Edición
- Ruy J. De Queiroz
- Springer
- Diseño fijo
A partir de:S/ 102.86 PENEl precio incluye IGV
Ver detalles

Libro electrónico
An den Grenzen des Endlichen
Das Hilbertprogramm im Kontext von Formalismus und Finitismus
- Christian Tapp
- Springer Spektrum
- Diseño ajustable
A partir de:S/ 62.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Typed Lambda Calculi and Applications
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
- 1st Edición
- PierreLouis Curien
- Springer
- Diseño fijo
A partir de:S/ 57.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Laws and Explanations; Theories and Modal Possibilities
- Arnold Koslow
- Springer
- Diseño ajustable
A partir de:S/ 67.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ultralogic as Universal?
The Sylvan Jungle - Volume 4
- Richard Routley
- Springer
- Diseño fijo
A partir de:S/ 92.47 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Relations and Kleene Algebra in Computer Science
10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
- 1st Edición
- Rudolf Berghammer; ‎Bernhard Möller; ‎Georg Struth
- Springer
- Diseño fijo
A partir de:S/ 102.86 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Colorado Mathematical Olympiad and Further Explorations
From the Mountains of Colorado to the Peaks of Mathematics
- Alexander Soifer
- Springer
- Diseño fijo
A partir de:S/ 62.34 PENEl precio incluye IGV
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
S/ 879.71 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
- 3rd Edición
- Rudolf Berghammer
- Springer Vieweg
- Diseño fijo
A partir de:S/ 31.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Language, Logic, and Mathematics in Schopenhauer
- 1st Edición
- Jens Lemanski
- Birkhäuser
- Diseño ajustable
A partir de:S/ 92.47 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
- 2nd Edición
- Dirk W. Hoffmann
- Springer Spektrum
- Diseño fijo
A partir de:S/ 36.37 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Course on Mathematical Logic
- Shashi Mohan Srivastava
- Springer
- Diseño fijo
A partir de:S/ 51.95 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mathematical Olympiad Challenges
- 2nd Edición
- Titu Andreescu; Razvan Gelca
- Birkhäuser
- Diseño fijo
A partir de:S/ 67.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Trends in Continuum Mechanics of Porous Media
- Reint de Boer
- Springer
- Diseño fijo
A partir de:S/ 102.86 PENEl precio incluye IGV
Ver detalles