Théorème

144 risultati

Ricerca pertitolo A - Z

Pertinenza Autore A - Z Autore Z - A titolo A - Z titolo A - Z prezzo crescente prezzo decrescente libraio A - Z libraio Z - A

Per pagina25

25 50 100

Filtri

Automated Theorem Proving: Theory and PracticeBiblio.com

1

144 risultati

Ricerca pertitolo A - Z

Pertinenza Autore A - Z Autore Z - A titolo A - Z titolo A - Z prezzo crescente prezzo decrescente libraio A - Z libraio Z - A

Per pagina25

25 50 100

Filtri

Secolo

Lingua

Francese44

Paese del libraio

Foto

Solo con foto

Aggiunto

Argomenti

Cataloghi

Automated Theorem Proving: Theory and PracticeBiblio.com

1

rif. DADAX0387950753New unknown

Ergodebooks · Stati Uniti172,88 USD≈ 154,45 €

Automated Theorem Proving: Theory and PracticeBiblio.com

1

rif. SONG0387950753Used: Good unknown

Ergodebooks · Stati Uniti174,19 USD≈ 155,62 €

Bayes's Theorem (Proceedings of the British Academy)Biblio.com

1

rif. SONG0197262678Used: Good unknown

Ergodebooks · Stati Uniti142,87 USD≈ 127,64 €

Character Theory for the Odd Order Theorem (London Mathematical Society Lecture Note Series, Series Number 272)Biblio.com

1

rif. SONG052164660XUsed: Good unknown

Ergodebooks · Stati Uniti117,24 USD≈ 104,74 €

El Metodo 2: La vida de la Vida (Coleccion Teorema Serie Mayor) (Spanish Edition)Biblio.com

1

rif. SONG8437623316Used: Good unknown

Ergodebooks · Stati Uniti98,79 USD≈ 88,26 €

Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory (Graduate Texts in Mathematics, 50)Biblio.com

1

rif. DADAX0387950028New unknown

Ergodebooks · Stati Uniti98,17 USD≈ 87,71 €

Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory (Graduate Texts in Mathematics, Vol 50) (Graduate TextsBiblio.com

1

rif. DADAX0387902309New unknown

Ergodebooks · Stati Uniti135,73 USD≈ 121,26 €

Frege's TheoremBiblio.com

1

rif. DADAX0199695644New unknown

Ergodebooks · Stati Uniti149,33 USD≈ 133,41 €

Gdel's Theorem in Focus (Philosophers in Focus)Biblio.com

1

rif. DADAX0415045754New unknown

Ergodebooks · Stati Uniti62,63 USD≈ 55,95 €

Graphs, Colourings and the Four-Colour TheoremBiblio.com

1

rif. DADAX0198510616New unknown

Ergodebooks · Stati Uniti256,39 USD≈ 229,06 €

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical CompuBiblio.com

1

rif. SONG3642058809Used: Good unknown

Ergodebooks · Stati Uniti140,54 USD≈ 125,56 €

Interactive Theorem Proving and Program DevelopmentBiblio.com

1

rif. SONG3540208542Used: Good unknown

Ergodebooks · Stati Uniti68,59 USD≈ 61,28 €

Lectures on Choquet's Theorem (Lecture Notes in Mathematics, 1757)Biblio.com

1

rif. SONG3540418342Used: Good unknown

Ergodebooks · Stati Uniti63,58 USD≈ 56,80 €

Lectures on the Arithmetic Riemann-Roch Theorem (AM-127)Biblio.com

1

rif. SONG0691025444Used: Good unknown

Ergodebooks · Stati Uniti126,85 USD≈ 113,33 €

Quantum Strangeness: Wrestling with Bell's Theorem and the Ultimate Nature of RealityBiblio.com

1

rif. DADAX0262039931New unknown

Ergodebooks · Stati Uniti72,97 USD≈ 65,19 €

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)Biblio.com

1

rif. DADAX0121703509New unknown

Ergodebooks · Stati Uniti97,44 USD≈ 87,05 €

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, ProceeBiblio.com

1

rif. SONG3540710655Used: Good unknown

Ergodebooks · Stati Uniti122,21 USD≈ 109,18 €

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedinBiblio.com

1

rif. SONG3540664637Used: Good unknown

Ergodebooks · Stati Uniti98,50 USD≈ 88,00 €

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, ProcBiblio.com

1

rif. SONG3540633790Used: Good unknown

Ergodebooks · Stati Uniti99,96 USD≈ 89,31 €

Secolo

Lingua

Francese44

Paese del libraio

Foto

Solo con foto

Aggiunto

Argomenti

Cataloghi

Secolo

Lingua

Francese44

Paese del libraio

Foto

Solo con foto