adicionar à lista de desejos
Thirty Five Years Of Automating Mathematics eBook
language: english
Publisher:
SPRINGER NETHERLANDS, April of 2013 ‧
see product details
118,59€
10% OFF
CARD
ZGxCQlVIaGtObG8xYTI4d2JWVktWR3R6T1ZjeWFYVllNamt3YkV4bVYwMDFlVUZvZERCSVdHZHFXRlpKTm1oVGNFSTFWM1ZCVkRsUk4yNHZiU3RSVFdOT2FsUnVhbFJITTJOellXUnVSM2cwYkRSaGRXNDBUVGREZFZKaGFtVllVM1U0TWxkWGFUVlpTR1JWVVhSVFYzRktLek5JYlZwWVpYUkZaV3BOVWs5R0x5OUJkR3BQZFVkaVZESXJORk51TjI5TU9WbGhja1ZtUzNGb1dUUlJVbGxNUWxkNWRFSklVblJKYUhOclozVjRVR2xTU2poeWRYaFJheTlKV0hnd2VTdGlRbGxyV2paUk0wSkVWSE5RU0VFNVEzTnhhREp0ZFdkVVFUa3lPU3RRYVhsMmMyWjZRbUZHYm5wd1RWSnFWM0IzV1dVMWJWSkZTV1Z2UlVOT1RFcGFNazlRU0dsQ09GZzBNazF0VDA5S1RWcDBjVGR0YzBKUFlUWlVUelp4ZEdWSGFGSjJSMVkyTjJWR1EzRkhVVUoyTDFOUlJHUk1aakE0TURZeVdFWk5PVmxtT1RFMmRXSkViRVpOV0hBeFRHbFlXSFpGYkVNM00xaFFhbkJsTjNoT1ZuRkZNVlkxTnpScU9YSkVNVEZQU3pacGNYWXdaRE5LSzAxQldVbzNTbEJaTTNBNVFWQTJSWFZJT1c5c1NERk1TbmRVY0dvMk1UWXZUa3BMVWtGYWIwMTFSRVpPY0ZsSmVUQnZaMFZHVDIxeVV6SjJkWEZ2VkUxS1NXUndNRXd4VTBOck5GVmxSVlJMZWpGeFp5dHhVM0k0YVd4UWFEQkpSVWh0VWpOb1RtSXhjMDQ1VmtFM05HMDRSVVpxVjJwMGRFUm9ieTlGZDJwQmQxZFlTalI0V1ZKNU9WSm5WVkJwV0d3MmNFdFBXR1JFUm5OVmNFYzRRME16ZDJkek1FWnZTRzFIZWxsWVdHOWpjbXhDUjJWV01VWnFibGxqY1hsRlNGUndSVmRoT1Vob1RWaHJReXRPZFdRMldsZ3pTRGhuUjBsdGFWTjZLMk5qUmtGNk5DOWxiVEIzT0ZCek1HbHBhMWxEUTBoaVNqZzBTM0J1TlRCT00xaGhLM3BHYXk5SVl6ZFhTbTlUTm5aNmJTOUVjVTFRYzNCb1kycDRiM2MxWkhac01sUlJSeXRJZEZwM1dqQm5NR2ROY1ZkWVdGQXpRVXA2ZUZJcmFsVjVjSGh2VXpGVmRFdHNMekozVVZoaGFqVnhkWFZLVjFFeU5sbGpSR2xwVFdwYU5ISXdiSEZaVUhkTGNIRXdRekJCUFE9PTpXaUVXd293RGNxT0hvRGdBS0ZvN1JBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9789401702539 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9789401702539 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARD
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARD