loading...



Inserisci Annuncio

Ordina per:

più rilevanti
filtra per

Higher Order Logic Theorem Proving and its

in vendita sui migliori siti di annunci in Italia

Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP/WG10.2 International Workshop, Leuven, Belgium, 21-24 September

26.359 prodotti trovati

2
Higher Order Logic Theorem Proving and its...

Higher Order Logic Theorem Proving and its...

154,96€
Medio: 154,96   Min: 154,96
Logic for Computer Science: Foundations of...

Logic for Computer Science: Foundations of...

22,69€
Medio: 21,21   Min: 19,58
3
-11%
Interactive Theorem Proving And Program...

Interactive Theorem Proving And Program...

76,58€ 117,69€
Medio: 85,68   Min: 47,64
3
-46%
Proving History: Bayes's Theorem and the Quest for...

Proving History: Bayes's Theorem and the Quest for...

25,76€
Medio: 47,72   Min: 16,54
Introduction to Higher-Order Categorical Logic...

Introduction to Higher-Order Categorical Logic...

71,15€
Medio: 60,92   Min: 39,51
Interactive Theorem Proving and Program...

Interactive Theorem Proving and Program...

58,23€
Medio: 51,25   Min: 35,48
4
-12%
First-Order Logic

First-Order Logic

9,19€
Medio: 10,47   Min: 7,87
3
-22%
Theorem Proving With Analytic Tableaux and Related...

Theorem Proving With Analytic Tableaux and Related...

36,00€ 74,89€
Medio: 46,15   Min: 24,93
2
-44%
Philosophical Applications Of Modal Logic...

Philosophical Applications Of Modal Logic...

19,56€ 37,22€
Medio: 35,12   Min: 25,70
2
The Proving

The Proving

16,63€
Medio: 14,21   Min: 12,30
5
Zéro theorem

Zéro theorem

13,98€
2
 -8%
Frege's Theorem

Frege's Theorem

24,72€ 29€
Medio: 26,99   Min: 20,43
3
Fuzzy Logic With Engineering Applications...

Fuzzy Logic With Engineering Applications...

41,90€ 65€
2
-30%
First-Order Modal Logic: 277

First-Order Modal Logic: 277

99,30€ 213,99€
Medio: 142,39   Min: 84,14
2
-22%
Elementary Logic With Applications: a Procedural...

Elementary Logic With Applications: a Procedural...

15,95€ 22,16€
Medio: 20,42   Min: 14,90
2
Mitsubishi FX Programmable Logic Controllers...

Mitsubishi FX Programmable Logic Controllers...

52,99€
Medio: 52,99   Min: 52,99
The Description Logic Handbook: Theory

The Description Logic Handbook: Theory

75,24€
Medio: 68,00   Min: 52,64
3
Fuzzy Sets and Fuzzy Logic: Theory and

Fuzzy Sets and Fuzzy Logic: Theory and

30,99€ 95,25€
2
Higher Order Fourier Analysis

Higher Order Fourier Analysis

 
Procedural Semantics for Hyperintensional Logic...

Procedural Semantics for Hyperintensional Logic...

191,49€ 213,99€
Medio: 262,71   Min: 173,58
-26%
The Proving Trail

The Proving Trail

48,93€
Medio: 66,25   Min: 29,77
2
 -6%
Bayes's Theorem: 113

Bayes's Theorem: 113

26,34€ 28,18€
Medio: 28,09   Min: 21,62
First Order Logic: Ergebnisse de Mathematik Und...

First Order Logic: Ergebnisse de Mathematik Und...

 
3
-29%
Logic, Navya-Nyaya & Applications: Homage to Bimak...

Logic, Navya-Nyaya & Applications: Homage to Bimak...

25,18€ 29,35€
Medio: 35,31   Min: 16,13
Fuzzy Set Theory Fuzzy Logic and their

Fuzzy Set Theory Fuzzy Logic and their

12,36€
Medio: 11,72   Min: 10,91
2
-58%
Neural Networks, Fuzzy Logic and Genetic

Neural Networks, Fuzzy Logic and Genetic

22,62€
Medio: 53,45   Min: 32,78
3
 -7%
Introduction to Symbolic Logic and Its

Introduction to Symbolic Logic and Its

14,34€ 17,15€
Medio: 15,49   Min: 10,67
Procedural Semantics for Hyperintensional Logic...

Procedural Semantics for Hyperintensional Logic...

461,93€
Medio: 446,32   Min: 446,32
2
-14%
Higher-Order Perl: Transforming Programs with...

Higher-Order Perl: Transforming Programs with...

57,10€ 67,55€
Medio: 66,26   Min: 51,99
Automated Inequality Proving And Discovering...

Automated Inequality Proving And Discovering...

103,11€
Medio: 103,11   Min: 103,11
The Proving (English Edition)

The Proving (English Edition)

10,88€
Medio: 10,24   Min: 9,54
2
 -7%
Geometric Inequalities: Methods of Proving...

Geometric Inequalities: Methods of Proving...

54,77€ 67,59€
Medio: 58,91   Min: 38,80
2
Fermat's Last Theorem: The story of a riddle that...

Fermat's Last Theorem: The story of a riddle that...

11,87€ 13,33€
Medio: 11,71   Min: 10,54
 -8%
Theorem [1968] [Edizione: Regno Unito]

Theorem [1968] [Edizione: Regno Unito]

52,67€
Medio: 57,37   Min: 9,51
The Zero Theorem

The Zero Theorem

10,99€
Stranger Than... - Fermat's Last Theorem

Stranger Than... - Fermat's Last Theorem

31,01€
Medio: 28,40   Min: 12,69
2
Fermat's Last Theorem: Basic Tools

Fermat's Last Theorem: Basic Tools

55,47€
Medio: 54,68   Min: 35,06
-10%
Fermat's Last Theorem (English Edition)

Fermat's Last Theorem (English Edition)

6,99€
Medio: 7,79   Min: 5,24
3
 -5%
Fermat's Last Theorem: The Proof

Fermat's Last Theorem: The Proof

52,94€
Medio: 55,59   Min: 36,38
-13%
Emmy Noether's Wonderful Theorem

Emmy Noether's Wonderful Theorem

22,50€ 26,40€
Medio: 25,81   Min: 22,45




Sono state caricate solo le prime 150 voci.
Utilizza i filtri per ridurne il numero!



Chi Siamo Partner Pubblicità Contatti Privacy Condizioni

© Copyright 2010-2026 Fabrizio Fichera. Tutti i diritti riservati. P.I. 02554810180