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

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

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus pe - ma 9. - 19. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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 Englanti  

Lisää tuotteita Wen Tsun Wu

Näytä kaikki

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