Examinando Logic 181 - 200 de 1435 resultados

Libro electrónico
Model Theory
- 3rd Edición
- C.C. Chang
- North Holland
- Diseño ajustable
S/ 244.99 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Square of Opposition: A Cornerstone of Thought
- Jean-Yves Béziau
- Birkhäuser
- Diseño fijo
A partir de:S/ 89.67 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.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Substructural Logics: A Primer
- F. Paoli
- Springer
- Diseño fijo
A partir de:S/ 240.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Learning to Reason
An Introduction to Logic, Sets, and Relations
- 1st Edición
- Nancy Rodgers
- Wiley Professional, Reference & Trade
- Diseño fijo
S/ 580.99 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
- Wolfgang Schreiner
- Springer
- Diseño ajustable
A partir de:S/ 80.60 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.19 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Fixed Point Theory in Probabilistic Metric Spaces
- O. Hadzic; E. Pap
- Springer
- Diseño fijo
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Multi-Valued Fields
- Yuri L. Ershov
- Springer
- Diseño fijo
A partir de:S/ 210.57 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Decidability of Logical Theories and Their Combination
- João Rasga; Cristina Sernadas
- Birkhäuser
- Diseño ajustable
A partir de:S/ 65.49 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/ 244.99 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
- 1st Edición
- Hans Van Ditmarsch; Jerome Lang; Shier Ju
- Springer
- Diseño fijo
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Crystal Chemistry: From Basics to Tools for Materials Creation
- Gerard Ferey
- World Scientific
- Diseño ajustable
S/ 147.77 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.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Domain Theory, Logic and Computation
Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
- 1st Edición
- GuoQiang Zhang; ‎J. Lawson; ‎Ying Ming Liu
- Springer
- Diseño fijo
A partir de:S/ 160.19 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Glück, Logik und Bluff
Mathematik im Spiel - Methoden, Ergebnisse und Grenzen
- 5th Edición
- Jörg Bewersdorff
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 35.26 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.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computable Structures and the Hyperarithmetical Hierarchy
- Ash, C.J.; Knight, J.
- Elsevier Science
- Diseño fijo
S/ 570.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Many Valued and Nonmonotonic Turn in Logic
- Gabbay, Dov M.; Woods, John
- North Holland
- Diseño fijo
S/ 906.74 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.74 PENEl precio incluye IGV
Ver detalles