adicionar à lista de desejos
Mathematical Reasoning With Diagrams
From Intuition To Automation
language: english
Publisher:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, November of 2001 ‧
see product details
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781575863245 |
| Publisher: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Release Date: | November of 2001 |
| Language: | English |
| Dimensions: | 152 x 229 x 12 mm |
| Cover: | Softcover |
| Pages: | 200 |
| Format: | Book |
| Collection: | Lecture Notes |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9781575863245 |
BOOKS FROM THE SAME COLLECTION
-
10%Reasoning, Rationality And ProbabilityCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION75,71€ 10% CARDfree shipping
-
10%Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION70,30€ 10% CARDfree shipping
-
10%Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION70,30€ 10% CARDfree shipping