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
ZHpkbFlrcGhSVU5DTlhNck0zaE5PWEoxUTJSME9IWkViM2d2WkZkS1JuTTNXRUpIV2xJemFVczFRVTFoTkRaQ1kyYzBXR3BqVjJFdlV6ZHFiamhwUlZGaE5qWnpMMlJIWkVoSlZHOUpaaXRNVkZwcFRuSmxPWFU0WWs5Q1VXYzBiM1JLV1hVMmFTOW9WVEZUUTIxVVJEVXZTaTlGU0c5NllqbHlTR1o1YkUxTWExTjZkemR1WlZKcVpGUkpUVkJZVldNM2EySndlWFpRV1UxUmJqQmxaV05zY2tVMFkyOVVhR0U0ZEhkdVdYUjZha2RHZGk4M1FtbHZUV1F6ZVc1SGR6ZGhiVEF4T0VSb2JrSnVVRXc1UjFoSmRYWkxPQzlvZGtsUGRpOTVjbXBxWTFaalNYWnpNVEJPYUhaRWFUTnpiSFJ3WVVocFpXZzVaR3BVZDJwRFV6TlphVEZTWTJ3dk1XOW5WR0pQTjBwbmQzRldVRE14UWpGVmJqZG5WM1YwUm5KdGJreFFVWG92ZEZab1FVeEdZWEJGV0ROdk56YzNXbXROSzJkdk5IaHZaaXMzWjNKNGVrUnhObXBUU214NVV6SjFPWHBVZVZGcFpIRlZRUzl2T0ZRNWVYRkxSRE5tWjFrM1Ezb3JOWEZxUkZGRWVGWnJTbkp4ZEU1SU1UZFRablJxVUV4V2MyaExabVJJSzA0d01tNXhWV3R6VEdkTGFDOVRhRzFwZFc1T1JsUkhPREZpZGxreWNHMWxibmx1WmpCeU9FWjNMMjF2Tld0WWRqaHhORkZrY0N0cFFsSkZZbkJoUlcxVFJXTTNOSE0yWWxSeWJsaDNOVWx5Ykc1dVdISnpZM2xqUTNCd05FRnFiSE5uVFhWMFdXTkNXRlJGYzFSMFpqazFSbWRrVms4NWJYVTJXblZhZG1wQ1pIQktZemxXWWpGMk9VcDNiRk00WlcxSVUwZE1aV1EyZUd4cFp6SllNRTVET1hJckwyVm5iemg2TkhkT2RIQmxObGcxWjJKeGFrNHlaRlk0U1haMGVrWklaRlJDTm5OdllVY3lRVFUySzFKdFpHdGtOV1ZGY3poVE1sa3lTMVpNWlhkck0wSmplV1ZqZFdOa1VXbEdSMW8zYjB3elpqaFlVR1JUZERBck56Tm9ka2M1Y0dkUWNHaGFVa2xCYUV0dVdrWlZlRzFHTldsaGN6bFFWR1YwWmt0WlZGVnpibWt2YTFaTFlUSjBTemgxVURSaFlqSlVjSGxuUW14TGFtTXdjVUpUWkM5VU1uVm5Tek5IYldRM1VVMXBVME41VlhKaGJHOWxPSFIzUFE9PTpzeHcrZ210ZllKdmx6UmpTanVMV2p3PT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789401702539 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9789401702539 |
BOOKS FROM THE SAME COLLECTION
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARD
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARD