Examinando Logic 501 - 520 de 1435 resultados

Libro electrónico
Philosophie der Mathematik in der Antike und in der Neuzeit
- Ulrich Felgner
- Birkhäuser
- Diseño ajustable
A partir de:$30,456.20 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Elements of Finite Model Theory
- Leonid Libkin
- Springer
- Diseño fijo
A partir de:$38,161.15 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Real Analysis: Foundations
- Sergei Ovchinnikov
- Springer
- Diseño ajustable
A partir de:$21,808.72 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Foundations of Logic and Mathematics
Applications to Computer Science and Cryptography
- Yves Nievergelt
- Birkhäuser
- Diseño fijo
A partir de:$23,714.65 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Fuzzy Logic
Mathematical Tools for Approximate Reasoning
- G. Gerla
- Springer
- Diseño fijo
A partir de:$42,753.90 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
- Silvio Ghilardi; M. Zawadowski
- Springer
- Diseño fijo
A partir de:$42,753.90 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
- Springer
- Diseño ajustable
A partir de:$38,714.07 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
The Growth of Mathematical Knowledge
- 1st Edición
- Emily Grosholz; ‎Herbert Breger
- Springer
- Diseño fijo
A partir de:$103,069.64 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables
- Shoumei Li; Y. Ogura; V. Kreinovich
- Springer
- Diseño fijo
A partir de:$42,753.90 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Methods of Cut-Elimination
- Matthias Baaz; Alexander Leitsch
- Springer
- Diseño ajustable
A partir de:$42,694.12 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Implementation and Application of Automata
7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
- 1st Edición
- JeanMarc Champarnaud; ‎Denis Maurel
- Springer
- Diseño fijo
A partir de:$13,444.11 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Larisa Maksimova on Implication, Interpolation, and Definability
- Author
- Springer
- Diseño ajustable
A partir de:$23,714.65 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
- 1st Edición
- Julian Bradfield
- Springer
- Diseño fijo
A partir de:$42,694.12 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Transactions on Rough Sets XII
- 1st Edición
- Roman Slowiński; ‎Pawan Lingras; ‎Duoqian Miao
- Springer
- Diseño fijo
A partir de:$5,183.77 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Inductive Logic Programming
17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
- 1st Edición
- Hendrik Blockeel; ‎Jan Ramon; ‎Jude Shavlik
- Springer
- Diseño fijo
A partir de:$4,652.84 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Cambridge and Vienna
Frank P. Ramsey and the Vienna Circle
- 1st Edición
- Maria C. Galavotti
- Springer
- Diseño fijo
A partir de:$42,694.12 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Noneist Explorations I
The Sylvan Jungle - Volume 2
- Richard Routley; Val Routley
- Springer
- Diseño fijo
A partir de:$72,918.98 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Combinatorial Set Theory
With a Gentle Introduction to Forcing
- 2nd Edición
- Lorenz J. Halbeisen
- Springer
- Diseño ajustable
A partir de:$73,839.80 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Probabilistic Extensions of Various Logical Systems
- 1st Edición
- Zoran Ognjanović
- Springer
- Diseño fijo
A partir de:$43,755.81 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Adapting Proofs-as-Programs
The Curry--Howard Protocol
- Iman Poernomo; John N. Crossley; Martin Wirsing
- Springer
- Diseño fijo
A partir de:$68,569.35 ARSEl precio incluye IVA
Ver detalles