- 5 resultaten
laagste prijs: € 106,99, hoogste prijs: € 111,22, gemiddelde prijs: € 109,17
1
Mechanical Geometry Theorem Proving - Shang-Ching Chou
bestellen
bij booklooker.de
€ 106,99
verzending: € 0,001
bestellenGesponsorde link
Shang-Ching Chou:

Mechanical Geometry Theorem Proving - pocketboek

ISBN: 9781402003301

[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one da… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
2
Mechanical Geometry Theorem Proving - Shang-Ching Chou
bestellen
bij AbeBooks.de
€ 106,99
verzending: € 0,001
bestellenGesponsorde link

Shang-Ching Chou:

Mechanical Geometry Theorem Proving - pocketboek

2001, ISBN: 1402003307

[EAN: 9781402003301], Neubuch, [PU: Springer Netherlands Nov 2001], ALGEBRAISCHE GEOMETRIE; GEOMETRIE / DSI_D016, This item is printed on demand - it takes 3-4 days longer - Neuware -Appr… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
3
Mechanical Geometry Theorem Proving - Shang-Ching Chou
bestellen
bij ZVAB.com
€ 110,67
verzending: € 0,001
bestellenGesponsorde link
Shang-Ching Chou:
Mechanical Geometry Theorem Proving - pocketboek

2001

ISBN: 1402003307

[EAN: 9781402003301], Neubuch, [SC: 0.0], [PU: Springer Netherlands], ALGEBRAISCHE GEOMETRIE; GEOMETRIE / DSI_D016, Druck auf Anfrage Neuware - Printed after ordering - Approach your prob… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
4
Mechanical Geometry Theorem Proving Shang-Ching Chou Author
bestellen
bij BarnesandNoble.com
€ 109,99
bestellenGesponsorde link
Mechanical Geometry Theorem Proving Shang-Ching Chou Author - nieuw boek

ISBN: 9781402003301

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
5
Mechanical Geometry Theorem Proving - Shang-Ching Chou
bestellen
bij Achtung-Buecher.de
€ 111,22
verzending: € 0,001
bestellenGesponsorde link
Shang-Ching Chou:
Mechanical Geometry Theorem Proving - pocketboek

2001, ISBN: 1402003307

Softcover reprint of the original 1st ed. 1988 Kartoniert / Broschiert Algebraische Geometrie, Geometrie / Algebraische Geometrie, Mathematik für Informatiker, DSI_D016, mit Schutzumsch… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Mechanical Geometry Theorem Proving Shang-Ching Chou Author

This work is, in my opinion, completely revolutionary. I believe that, by itself, the book will convince any mathematician in the world that the automation of mathematical reasoning is a profound and rewarding enterprise of extraordinary potential.' Robert S. Boyer

Gedetalleerde informatie over het boek. - Mechanical Geometry Theorem Proving Shang-Ching Chou Author


EAN (ISBN-13): 9781402003301
ISBN (ISBN-10): 1402003307
Gebonden uitgave
pocket book
Verschijningsjaar: 2001
Uitgever: Springer Netherlands Core >1 >T
376 Bladzijden
Gewicht: 0,562 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-01-17T19:45:03+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-31T08:59:39+02:00 (Amsterdam)
ISBN/EAN: 1402003307

ISBN - alternatieve schrijfwijzen:
1-4020-0330-7, 978-1-4020-0330-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ching, van gulik, chesterton, van lie, chou
Titel van het boek: watertown, theorem proving


Gegevens van de uitgever

Auteur: Shang-Ching Chou
Titel: Mathematics and Its Applications; Mechanical Geometry Theorem Proving
Uitgeverij: Springer; Springer Netherland
362 Bladzijden
Verschijningsjaar: 2001-11-30
Dordrecht; NL
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 362 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Mathematik für Informatiker; Verstehen; DSI_D016; Symbolic and Algebraic Manipulation; Algebraic Geometry; Algebraische Geometrie; BB

I: Methods in Mechanical Geometry Theorem Proving.- 1. An Introduction to Wu’s Method.- 2. Ritt’s Characteristic Set Method.- 3. Algebra and Geometry.- 4. The Complete Method of Wu.- 5. Geometry Theorem Proving Using The Gröbner Basis Method.- References.- II: 512 Theorems Mechanically Proved.- Explanations.- 1. General Remarks.- 2. Algebraic Representations of Geometric Conditions.- Theorems Proved Mechanically by Wu’s Method.- 2. Algebraic Representations of Geometric Conditions.- Appendix. The Timing For the Gröbner Basis Method.- Index of Examples.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789027726506 Mechanical Geometry Theorem Proving Shang-Ching Chou Author (Shang-Ching Chou)


< naar Archief...