Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Livros - Springer Verlag GmbH - 9783211827949 - 16 de abril de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Bob F Caviness

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

Preço
NOK 559
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 27 de nov - 3 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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 Alemão  
Editor Caviness, Bob F.
Editor Johnson, Jeremy R.
Mostrar tudo

Mais por Bob F Caviness

Ver tudo de Bob F Caviness ( por exemplo Paperback Book )