Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) [Paperback]
5 Angebote vergleichen
| Preise | 2011 | 2013 | 2014 | 2015 | 2016 |
|---|---|---|---|---|---|
| Schnitt | Fr. 48.30 (€ 49.40)¹ | Fr. 66.24 (€ 67.74)¹ | Fr. 55.35 (€ 56.60)¹ | Fr. 61.06 (€ 62.44)¹ | Fr. 64.56 (€ 66.02)¹ |
| Nachfrage |
1
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (1994)
EN PB USISBN: 9780387825069 bzw. 0387825061, in Englisch, 288 Seiten, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 24 hours.
Von Händler/Antiquariat, Bookbyte Textbooks.
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-05, Studio: Springer-Verlag, Verkaufsrang: 10584942.
Von Händler/Antiquariat, Bookbyte Textbooks.
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-05, Studio: Springer-Verlag, Verkaufsrang: 10584942.
2
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (1994)
EN PB NWISBN: 9780387825069 bzw. 0387825061, in Englisch, 288 Seiten, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, DelhiBookStore.
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-05, Studio: Springer-Verlag, Verkaufsrang: 10584942.
Von Händler/Antiquariat, DelhiBookStore.
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-05, Studio: Springer-Verlag, Verkaufsrang: 10584942.
4
Symbolbild
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (1994)
EN PB NWISBN: 9780387825069 bzw. 0387825061, in Englisch, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Basement Seller 101, OH, Cincinnati, [RE:5].
Paperback.
Von Händler/Antiquariat, Basement Seller 101, OH, Cincinnati, [RE:5].
Paperback.
Lade…