Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Grāmatas - Springer Verlag GmbH - 9783211827949 - 1998. gada 16. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 18. sept.
Saņemiet paziņojumus par jauniem Bob F Caviness izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1998. gada 16. aprīlis
ISBN13 9783211827949
Izdevēji Springer Verlag GmbH
Lapas 431
Izmēri 170 × 244 × 23 mm   ·   721 g
Valoda Vācu  
Redaktors Caviness, Bob F.
Redaktors Johnson, Jeremy R.

Vairāk no Bob F Caviness

Rādīt visu

Vairāk no tā paša izdevēja