Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Kirjat - Kluwer Academic Publishers - 9780792358350 - maanantai 30. huhtikuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition

Wen Tsun Wu

Hinta
Íkr 14.463,90

Tilattu etävarastosta

Arvioitu toimitus ke 30. heinä - to 7. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition

This collection of essays centres around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.

432 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 30. huhtikuuta 2001
Alunperin julkaistu 2000
ISBN13 9780792358350
Tuottaja Kluwer Academic Publishers
Sivujen määrä 432
Mitta 155 × 235 × 23 mm   ·   784 g
Kieli English  
Näytä kaikki

Lisää tuotteita Wen Tsun Wu

Katso kaikki joka sisältää Wen Tsun Wu ( Esim. Hardcover Book Ja Paperback Book )