adicionar à lista de desejos
Mathematical Reasoning With Diagrams
language: english
Publisher:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, November of 2001 ‧
see product details
70,30€
10% OFF
CARD
ZFdSR1ZHRXhXSE5xYm5sekwzVmhjbFk0V1ZCS1lTdHVjU3RQVUhWVlpFWXdRM2MyU2taRVNtWkRjWFJTUXpWT1lYSnVUU3RoY0Zjd2IySklUV1ZCTVRZeWRHbHBNR2hxVlVGaE5VTlJSMU5rV21aQkswVjZTVk15Vm5aVFRpdHpUVVp1Y0VNeFVFSnNURFE0U0ZWMk4wcFVlbFpPZFVwTFpuSXJZVXQ1Y3prdlJWbEdSRGxyZVhKWU5sSlRWVEV4TVhCRVdVVlNNbFpRVFhCTlNVVmlPWEZLVkdoTWNYSmxXVUZKUjBnM1NFNDFRbnA1WWtsYWJFMVJiVVV2U1ZkNk5UZ3pURGxyWVhFNFYyTlVMMmhHYUdGbU5sVkNaa3RzUTFJd1MyOWphVXhsU0d3M2REZFFaMHR5YXpRelZrMVFaa2RDVmtKSlRGaHdORkJvYm14dGRHTXdaVEo1VFdKNlkyWjNZVFF4YWtWTVpXeDBUVGM0V0hFclZIa3piMVp4ZVZsMVZDOUVia1ZZYTFSdWFHcE9hbkZEUzBSTGRWSktTRGRYVmxsSlVtMDNZblF3TkZaV2J6UkhWV2xSTkdwdFJFb3hiRFJhUldZNFZtWm5XRTFKWmt4T01qVnhha1JwZG5aUlMyVTRTbWhYWkRsak56aDFVRGRCT1VsSU9YVlZVRnBsUnpCNFZHUk1SM2xDUVVkcGMwOHhNR3g2VEZkSVYyOXpkamhYVTBSR01uTktXRWQ2U21ocFdVdG9TbE01WlRaek0zbHpWVTB6VFZCRGFsWXdjR1ZhUnpGRGRFRnpZblp3UlROUFMwWXZlbFZpWTNScmF6SlFNUzlLVERNNFUzZHplVzF6VURkNlFYRnBkR2huT1dwdFdqazBTbnBVUTA1aVpDdEdkV0ZyTHpGMVkzVTVkRk42VFdkNVUxbFphazVOU25jNWRpdEZXRk5wY1daWVVVRXZTWGRSSzIxYVZYbFRiMjlWZW5CWVZGVnlMMUZVYzJ4c0t6RkRaVnBHYjFOelRFcDZVSEphZG5RM1dqUlhiRFpIYUcwNFJIZEZRVzVSYjFOM2NIRlJhRlZxVlcxQ1drRm9RbWwwVG14elZHdHNkMWgwZEhSWVdUQkdVbEZpVGpabmVrRkRTV2xvYUZoTVYwSlJja2MzZDI5TFNUUmphMUZwTTFvNVZYSjBkRnBpVmpaaGIyaEtabHBUUTJScWRITnVObmQ0YmpSYVlsSldhazlzV1V0Qk9ISm9VVEJPV1dKVWNWbFNObVZpYmsxNFVEUTBkbWMwUzNwSVNWSnRhV05UUVVKb1ZHdG5UWFJNWVZKek1HWXpOMDh4ZWl0V2NGUTVjMUJDUVU5SWVYUnpTRXBXYWtoUWRVNWpUR2xYWVV4RFUwRTRaejA5OjJFVk5JeFkyZFQ2Qnd0WUJKWWMveEE9PQ==
free shipping
Sell your book
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 formal proof system which allows users to prove theorems using diagrams.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781575863238 |
| Publisher: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Release Date: | November of 2001 |
| Language: | English |
| Dimensions: | 15 x 23 x 2 mm |
| Cover: | Hardcover |
| Pages: | 200 |
| Format: | Book |
| Collection: | Lecture Notes |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9781575863238 |
BOOKS FROM THE SAME COLLECTION
-
10%Reasoning, Rationality And ProbabilityCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION75,71€ 10% CARDfree shipping
-
10%Logical Perspectives On Language And InformationCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION73,00€ 10% CARDfree shipping
-
Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION29,74€free shipping