Conte aos seus amigos sobre este item:
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition
Bob F Caviness
Preço
R 988
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 5 - 11 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition
Bob F Caviness
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 16 de abril de 1998 |
| ISBN13 | 9783211827949 |
| Editoras | Springer Verlag GmbH |
| Páginas | 431 |
| Dimensões | 170 × 244 × 23 mm · 721 g |
| Idioma | German |
| Editor | Caviness, Bob F. |
| Editor | Johnson, Jeremy R. |
