Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Livros - Kluwer Academic Publishers - 9780792358350 - 30 de abril de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Wen Tsun Wu

Preço
SEK 1.029
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de jul - 4 de ago

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

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

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de abril de 2001
Data do lançamento original 2000
ISBN13 9780792358350
Editoras Kluwer Academic Publishers
Páginas 432
Dimensões 155 × 235 × 23 mm   ·   784 g
Idioma English  
Mostrar tudo

Mais por Wen Tsun Wu

Ver tudo de Wen Tsun Wu ( por exemplo Hardcover Book e Paperback Book )