A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Livros - Springer London Ltd - 9781852334666 - 8 de junho de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jacques Fleuriot
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

Preço
R$ 571,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Jacques Fleuriot

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

Ainda não avaliado

Também disponível como:

Demonstrations of Newton's theorems are usually presented using calculus. This text describes the mechanization of Lemmas and Propositions from the "Principia", using formal tools developed in the generic theorem prover Isabelle.

140 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 8 de junho de 2001
ISBN13 9781852334666
Editoras Springer London Ltd
Páginas 140
Dimensões 155 × 235 × 11 mm   ·   385 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Jacques Fleuriot