Matemática

Mathematical Reasoning With Diagrams

From Intuition To Automation

de Mateja Jamnik 

Bertrand.pt - Mathematical Reasoning With Diagrams
idioma: Inglês
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Edição: novembro de 2001
29,74€
23,79€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.

Coleções

Mathematical Reasoning With Diagrams
From Intuition To Automation
de Mateja Jamnik 
ISBN:
9781575863245
Ano de edição:
11-2001
Editor:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Idioma:
Inglês
Dimensões:
152 x 229 x 12 mm
Encadernação:
Capa mole
Páginas:
200
Tipo de Produto:
Livro
Coleção:
Lecture Notes
Classificação Temática:
Livros  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9781575863245
20% imediato
portes grátis
Mathematical Reasoning With Diagrams
56,24€ 70,30€

Mathematical Reasoning With Diagrams

de Mateja Jamnik 

(0)
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.