Examinando Logic 161 - 180 de 1427 resultados

Libro electrónico
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
- Pavel Pudlák
- Springer
- Diseño ajustable
A partir de:S/ 191.11 PENEl precio incluye IGV
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:S/ 60.67 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
- 1st Edición
- David McAllester
- Springer
- Diseño fijo
A partir de:S/ 55.61 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/ 100.10 PENEl precio incluye IGV
Ver detalles

Libro electrónico
From Synapses to Rules
Discovering Symbolic Rules from Neural Processed Data
- 1st Edición
- Bruno Apolloni; Franz Kurfess
- Springer
- Diseño fijo
A partir de:S/ 160.77 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Neighborhood Semantics for Modal Logic
- Eric Pacuit
- Springer
- Diseño ajustable
A partir de:S/ 45.50 PENEl precio incluye IGV
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:S/ 70.78 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/ 50.56 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
- Roberto Gorrieri
- Springer
- Diseño fijo
A partir de:S/ 91.00 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Concept Lattices and Their Applications
Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
- 1st Edición
- Sadok Ben Yahia; Engelbert Mephu Nguifo; Radim Belohlavek
- Springer
- Diseño fijo
A partir de:S/ 55.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Quantum, Probability, Logic
The Work and Influence of Itamar Pitowsky
- 1st Edición
- Meir Hemmo; ‎Orly Shenker
- Springer
- Diseño ajustable
A partir de:S/ 191.11 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Extremal Combinatorics
With Applications in Computer Science
- Stasys Jukna
- Springer
- Diseño fijo
A partir de:S/ 89.99 PENEl precio incluye IGV
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:S/ 55.61 PENEl precio incluye IGV
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:S/ 55.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Institution-independent Model Theory
- 2nd Edición
- Răzvan Diaconescu
- Birkhäuser
- Diseño fijo
A partir de:S/ 150.66 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/ 89.99 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Präzises Denken für Informatiker
- Karsten Wolf
- Springer Vieweg
- Diseño ajustable
A partir de:S/ 25.28 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Harvey Friedman's Research on the Foundations of Mathematics
- Harrington, L.A.; Morley, M.D.; Šcedrov, A.; Simpson, S.G.
- North Holland
- Diseño fijo
S/ 245.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Deontic Logic in Computer Science
7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
- 1st Edición
- Alessio Lomuscio; ‎Donald Nute
- Springer
- Diseño fijo
A partir de:S/ 55.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Selected Papers on Automath
- Nederpelt, R.P.; Geuvers, J.H.; de Vrijer, R.C.
- North Holland
- Diseño fijo
S/ 245.88 PENEl precio incluye IGV
Ver detalles