Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Kirjat - Springer Verlag GmbH - 9783211827949 - torstai 16. huhtikuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition

Bob F Caviness

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke 26. marras - to 4. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g.

450 pages, 16 black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 16. huhtikuuta 1998
ISBN13 9783211827949
Tuottaja Springer Verlag GmbH
Sivujen määrä 431
Mitta 170 × 244 × 23 mm   ·   721 g
Kieli Saksa  
Toimittaja Caviness, Bob F.
Toimittaja Johnson, Jeremy R.
Näytä kaikki

Lisää tuotteita Bob F Caviness

Katso kaikki joka sisältää Bob F Caviness ( Esim. Paperback Book )