adicionar à lista de desejos
Mathematical Reasoning With Diagrams
From Intuition To Automation
idioma: inglês
Editor:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, novembro de 2001 ‧
ver detalhes do produto
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781575863245 |
| Editor: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Data de Lançamento: | novembro de 2001 |
| 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 em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781575863245 |
LIVROS DA MESMA COLEÇÃO
-
10%Reasoning, Rationality And ProbabilityCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION75,71€ 10% CARTÃOportes grátis
-
10%Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION70,30€ 10% CARTÃOportes grátis
-
10%Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION70,30€ 10% CARTÃOportes grátis