|
2
|
Higher Order Logic Theorem Proving and its... - Libro - 154,96€Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP/WG10.2 International Workshop, Leuven, Belgium, 21-24 September 1992: v. A-20... |
|
|
Logic for Computer Science: Foundations of... - Libro - 22,69€Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) (English Edition)... |
|
3
-11%
|
Interactive Theorem Proving And Program... - Libro - 76,58€ 117,69€Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions... |
|
3
-46%
|
Proving History: Bayes's Theorem and the Quest for... - Libro - 25,76€Proving History: Bayes's Theorem and the Quest for the Historical Jesus... |
|
|
Introduction to Higher-Order Categorical Logic... - Libro - 71,15€Introduction to Higher-Order Categorical Logic... |
|
|
Interactive Theorem Proving and Program... - Libro - 58,23€Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (English Edition)... |
|
4
-12%
|
First-Order Logic - Libro - 9,19€First-Order Logic... |
|
3
-22%
|
Theorem Proving With Analytic Tableaux and Related... - Libro - 36€ 74,89€Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996:. .. Italy, May 15 - 17, 1996. Proceedings: 1071... |
|
2
-44%
|
Philosophical Applications Of Modal Logic... - Libro - 19,56€ 37,22€Philosophical Applications Of Modal Logic... |
|
2
|
The Proving - Libro - 16,63€The Proving... |
|
5
|
Zéro theorem - Dvd - 13,98€Zéro theorem... |
|
2
-8%
|
Frege's Theorem - Libro - 24,72€ 29€Frege's Theorem... |
|
3
|
Fuzzy Logic With Engineering Applications... - Libro - 41,90€ 65€Fuzzy Logic With Engineering Applications Used Book in Good Condition... |
|
2
-30%
|
First-Order Modal Logic: 277 - Libro - 99,30€ 213,99€First-Order Modal Logic: 277 Used Book in Good Condition... |
|
2
-22%
|
Elementary Logic With Applications: a Procedural... - Libro - 15,95€ 22,16€Elementary Logic With Applications: A Procedural Perspective for Computer Scientists: 65... |
|
2
|
Higher Order Fourier Analysis - LibroHigher Order Fourier Analysis... |
|
2
|
Mitsubishi FX Programmable Logic Controllers... - Libro - 52,99€Mitsubishi FX Programmable Logic Controllers: Applications and Programming... |
|
|
The Description Logic Handbook: Theory - Libro - 75,24€The Description Logic Handbook: Theory, Implementation and Applications... |
|
3
|
Fuzzy Sets and Fuzzy Logic: Theory and - Libro - 30,99€ 95,25€Fuzzy Sets and Fuzzy Logic: Theory and Applications... |
|
|
Procedural Semantics for Hyperintensional Logic... - Libro - 191,49€ 213,99€Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic: 17... |
|
-26%
|
The Proving Trail - Libro - 48,93€The Proving Trail... |
|
2
-6%
|
Bayes's Theorem: 113 - Libro - 26,34€ 28,18€Bayes's Theorem: 113... |
|
|
First Order Logic: Ergebnisse de Mathematik Und... - LibroFirst Order Logic: Ergebnisse De Mathematik Und Ihrer Grenzgebiete; Vol 43... |
|
3
-29%
|
Logic, Navya-Nyaya & Applications: Homage to Bimak... - Libro - 25,18€ 29,35€Logic, Navya-Nyaya & Applications: Homage to Bimak Krishna Matilal: Homge to Bimal Krishna Chakraborty... |
|
|
Fuzzy Set Theory Fuzzy Logic and their - Libro - 12,36€Fuzzy Set Theory Fuzzy Logic and their Applications (English Edition)... |
|
2
-58%
|
Neural Networks, Fuzzy Logic and Genetic - Libro - 22,62€Neural Networks, Fuzzy Logic and Genetic Algorithms: Synthesis and Applications (Computer)... |
|
3
-7%
|
Introduction to Symbolic Logic and Its - Libro - 14,34€ 17,15€Introduction to Symbolic Logic and Its Applications Used Book in Good Condition... |
|
|
Procedural Semantics for Hyperintensional Logic... - Libro - 461,93€Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic - (By: Marie Duzí) [published: January, 2011]... |
|
2
-14%
|
Higher-Order Perl: Transforming Programs with... - Libro - 57,10€ 67,55€Higher-Order Perl: Transforming Programs with Programs [Lingua inglese]... |
|
|
Automated Inequality Proving And Discovering... - Libro - 103,11€Automated Inequality Proving And Discovering... |
|
|
The Proving (English Edition) - Libro - 10,88€The Proving (English Edition)... |
|
2
-7%
|
Geometric Inequalities: Methods of Proving... - Libro - 54,77€ 67,59€Geometric Inequalities: Methods of Proving... |
|
2
|
Fermat's Last Theorem: The story of a riddle that... - Libro - 11,87€ 13,33€Fermat's Last Theorem: The story of a riddle that confounded the world's greatest minds for 358 years New Mint Condition Dispatch same day for order received before 12 noon Guaranteed packaging No quibbles returns... |
|
-8%
|
Theorem [1968] [Edizione: Regno Unito] - Dvd - 52,67€Theorem [1968] [Edizione: Regno Unito]... |
|
|
The Zero Theorem - Dvd - 10,99€The Zero Theorem DVD Movie Film Disc... |
|
|
Stranger Than... - Fermat's Last Theorem - Libro - 31,01€Stranger Than... - Fermat's Last Theorem... |
|
2
|
Fermat's Last Theorem: Basic Tools - Libro - 55,47€Fermat's Last Theorem: Basic Tools... |
|
-10%
|
Fermat's Last Theorem (English Edition) - Libro - 6,99€Fermat's Last Theorem (English Edition)... |
|
3
-5%
|
Fermat's Last Theorem: The Proof - Libro - 52,94€Fermat's Last Theorem: The Proof... |
|
-13%
|
Emmy Noether's Wonderful Theorem - Libro - 22,50€ 26,40€Emmy Noether's Wonderful Theorem... |
