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
VVZOYU1qZElVRzl1V0ZKMlpFMUJlR2xVZW5VeGFubEdVSEJOWlV0SGNqRnlRbk5EYTB4NGRqRnBWbUpYWjAweFZreFRTMmhzWm01TGRuQlRSM1p1VFZWSGVVNW1lWGxTTjJZd1dERndMekZQT0dGYWRVSnpOalo0VUZab1IwUTJOWHBCZVRkR1MyZzNSRk5PUmpFM2RGVTVOREI0TDFkeVNISnljMlZIWkhST1ZVcFZPRWxzVWtsamRXdEpWRUkzWmpWNE5IUndObFUxVmpadlZVZ3JXVGRDWlc5dE1WaHFOQzlGYWxkTE9HMDBRV05xVUhFM09EbEdhRko1TDA5RmRWbExXVmgzUTB4emNVbGxVa0UwVVd4U1pubzFTeXRyUkZKWU5tZHdjMU5RTlRKaVFuQmFkbTVtVlRaTVptUXlOMUZoYjA5bGJVcEJkMHBYU2sxblNEVklibTVaVDNOaFpFWnRVRVkxUm01bldYQXhTMmxrZUVwbU5YWkNNSFU1ZVN0dmFYbDBOMmt6VmtaNlJIRm1kRTlLWTBJM1VUWmhiRkpKWmtGbk9XcEZSeTloZGpGT1RXZHdNak5TVjJVck5qZzJlWGswU2xORVVFMURkM0JXVlcxMWJrbG5NbWhVYldzeFdHNDBNSGNyZFN0WVZ6TnVZMjFpUlROTFJsbFROV3haU1d4SmNYWnFSVGhZWm5abU5HMUhiVTlEWTJRNFkyUm9NbE5WU3pKWmJHVlNUV3N5VlRGYUt6ZHFUVll3VFd0S2IwMXBSMUpxT1hKVk0xRXlUWEZGY20xcFkxZFpPR3BFZUhWcWQwUkJORGMzUTNRek0xUlNUbUptYzBFdlFuUXpPVTl6ZDI5WFVscGpPR1pvVlZFMlJVVnhkM0ZCYUhsd2FESlRlVEl4Wld4V1RqbFFiV2RqYkdzdlNYQmxiVWRPWmpkTFNtcFZXV0pvUVVScGRFWm9XbVl3U1RWdWJrOXpXbVpSZW1RNFdHMVNNRGxwUVVGa2J6aHdjakZLYzJrM2EzTnJSSGhRWTFkdksyTkRUMFkxYUdOb1VucHBkblpsYURkMlJrcG1hV3BuUVU5a2FuazJSbTlSYTB0TldUQkVTakJwV2twTVozcGFUWGhHTUZoc1dVOXNlRGx1UVVkM1V6QldPVVJvTUU5QlEwTm1PR05JYzBRcllqQlBSbEpyT1RaSWFtbHZPREZETjJOVWJFTnNXWGt2VFhkTk5GWlpWWFZpUkdsdVlUUkRSV1ZXU1hKTlIydHJURTFHT1ZGME9VTkxUME14VGk5RGNWVjZia1I0TURkSWR6Sm9iR2RJUkdSVU9GQkRTWFJGT0dwYU1XZEZiUzlTUVRReFpUSlRSVFZwVUhKT2NVaHpOR2RGY21sUmJHRTFVVDA5OjZZdjhqSkR4N05YOEU3VGRidzFPemc9PQ==
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.
DETeBook com proteção para wookreaderILS
| 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%Logical Perspectives On Language And InformationCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION73,00€ 10% CARDfree shipping
-
10%Surfaces And SuperpositionCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION29,74€ 10% CARDfree shipping
-
Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION29,74€free shipping