Examinando Logic 181 - 200 de 1512 resultados

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.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Komplexitätstheorie
Grenzen der Effizienz von Algorithmen
- Ingo Wegener
- Springer
- Diseño fijo
A partir de:S/ 40.25 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Loeb Measures in Practice: Recent Advances
EMS Lectures 1997
- Nigel J. Cutland
- Springer
- Diseño fijo
A partir de:S/ 45.28 PENEl precio incluye IGV
Ver detalles

Libro electrónico
An Introduction to the Technique of Formative Processes in Set Theory
- Domenico Cantone; Pietro Ursino
- Springer
- Diseño fijo
A partir de:S/ 55.34 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/ 55.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Line Drawing Interpretation
- Martin Cooper
- Springer
- Diseño fijo
A partir de:S/ 159.97 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ordered Sets
An Introduction
- Bernd Schröder
- Birkhäuser
- Diseño fijo
A partir de:S/ 55.34 PENEl precio incluye IGV
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:S/ 55.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Proof Theory
History and Philosophical Significance
- 1st Edición
- Vincent F. Hendricks; ‎Stig Andur Pedersen; ‎Klaus Frovin Jørgensen
- Springer
- Diseño ajustable
A partir de:S/ 99.61 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/ 89.55 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Constructivity and Computability in Historical and Philosophical Perspective
- Jacques Dubucs
- Springer
- Diseño ajustable
A partir de:S/ 55.34 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/ 60.37 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.34 PENEl precio incluye IGV
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:S/ 55.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Nonclassical Logics and Their Applications
Post-proceedings of the 8th International Workshop on Logic and Cognition
- 1st Edición
- Shier Ju; ‎Alessandra Palmigiano; ‎Minghui Ma
- Springer
- Diseño ajustable
A partir de:S/ 99.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The P=NP Question and Gödel’s Lost Letter
- Richard J. Lipton
- Springer
- Diseño fijo
A partir de:S/ 99.61 PENEl precio incluye IGV
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:S/ 99.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model Theory and Applications
Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
- 1st Edición
- P. Mangani
- Springer
- Diseño fijo
A partir de:S/ 30.18 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theoretische Informatik
Petri-Netze
- Lutz Priese; Harro Wimmel
- Springer
- Diseño fijo
A partir de:S/ 55.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic and Structure
- 4th Edición
- Dirk van Dalen
- Springer
- Diseño fijo
A partir de:S/ 89.55 PENEl precio incluye IGV
Ver detalles