adicionar à lista de desejos
Automated Theory Formation In Pure Mathematics eBook
language: english
Publisher:
SPRINGER LONDON, December of 2012 ‧
see product details
118,59€
10% OFF
CARD
YzNwNk9XNWFkMk51YUhWc2FGQXJhRWt3U1dkRVdVbzVkVXcwVWpCdlRYWnBaR0ZyTkhkd2FGRkpNMk40ZENzME5rbzRkRFphVjNkdVpGWjRVRWwwVkZkNE1WUk5OV04xTkZkVmR6aDNUMDFtT1dKNmFqaGlVMkZ0U1c5WU9ITnBZamRRY1hoSFUydGplVTh2YjBGNU5sZHBiVWxwZEhkTVlUbHRPV0ZuYzNnM1RFOXRZa1p1YjFkR2FrdHdWbVoxZFRkTU9FbHFOWGhyU1hFM2EwUjZhMlpMWTBoS2NWTnFRVzh6Ym5wMWJHbGhRV0ZpTTJ0VEsxZExOSFZSU1dkcFVWUjVObmRFVUhsU1VHZGtPR2czYTBsWFVUZFpLekJoY1c1UlFTOTJhR1JVTVZkSFJuRTFiVlo2VEdSeGJXbFJWSFIyWnpka1lscHVOVGczZHpOUFlsUk1hM1pDTTJWM05qWmpLMEZGVVdoamRqVmFUbVo2VEVRMmNYcEZSRlk0UVc5VFdWZHlSRUZSZURKUmFVTkdXRTFJVEdsSGFVZFRjemRaT1VSRmVrUklVR2g0TUdGa2VEQnJXa3hDVkM5TFlrbEdUMmt6Y0hBNFJUTk1WMFozZWtoQ09FMUJLemRyYm5FeGNYcDVjVkl5YVVZeFJWTkdOa1Y1YVZoT1pHUXdhRmREWlhSSGVXRkNWVTk1UVc5R05XNWhSVUZpT1dVMFNtOXpjVmhrY2tNelFUQm1abTl6V1VVMWVqUXZia1ZTY21jdmNFWkZOMEZKTVc4NU5tTmpXbWxLVFM5NmFFVnlkVmhIWTJ4WVZWcFFPRmxKTVRWQll6ZEZXakJVVVVwSUwyMTRNWGw2ZFdoUE5HNUJWbUZHY2twWmNrWjBaakp2WnpZM1VHTkpSWFU1TnpkdVNXNDVNbVY0YW01Mk5GbHFUa1YxY21wUmRXd3JOSEoyYVhWdmVESkdOQzlZWVRWM0x6SlhLMmROVXpKdFpFaG9lRTV6VDB0SVZYVnZOM0paYW5SSlQwUkNNVlU1UTFNNFQyTkhhMjFzU25SSUsxQjFVemhuYW5CUFpWQlJOWFJvWkVVMllXZFpiVmxMUmk4M04wVkNUR1ozU1ZOdFpqSTVXR1l2T0ZKQ1FsWmlUbEJqU1RSS2VrVndhWGhrYWtFeE1GTXpRbXRoUkRWNVRtcG9PRXRvSzJ0Mk9YUXdialJHVFZwMVVtVmtZbUpEWVd4MFNGSTJSRkpaTjBkSWFUTmFTRXhZYlU1c2RVRjFZV2RTZFRaWE9HdDZURkpqVTNwbVRqZFdPRXhKV2tveWJqZEtTRzFuUFE9PTo2Yy8zb1B3aTVOUzY2RjI1MnVsQWdnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781447101475 |
| Publisher: | SPRINGER LONDON |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Distinguished Dissertations |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781447101475 |
BOOKS FROM THE SAME COLLECTION
-
10%Games And Full Abstraction For A Functional Metalanguage With Recursive TypesSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARDfree shipping
-
10%Inheritance Relationships For Disciplined Software ConstructionSPRINGER LONDON LTD97,34€ 10% CARDfree shipping