adicionar à lista de desejos
Computational Logic And Set Theory eBook
Applying Formalized Logic To Analysis
language: english
Publisher:
SPRINGER LONDON, July of 2011 ‧
see product details
59,61€
10% OFF
CARD
YVRob1pWVkdURkJ1UTJWNlRHRm5Xa2h2TDNBeVREWjVkbEZRZGpocGMwMVJZazkwYVRKV1dGSlZkRlpOWVdkVVkwNUNiM2szU0VzellrbGpUMnM0VUcxbFdWbGhXbE5LVUZodWFscFVUMUIxUnpkbVRsVnlVbkZMVkdoSk9XeFJiMFU1YkVFeWRIZHZMMVpHVDFwdVpFNU5OV1J4Y0haRlREZFVhWGxpUmxCcGNHbHBkbWhVYVhKUFUxSXpXR1IyWmsxb2RGQm1ZbXR4TjI1SlFVOHhVMlp1V1ZSNGFERm9lSGx3Ukc5M1lqZGphME5PYzNsdmFrSkpOSFpoZGpaSlozSlRhR0psVGtsT2Nsa3ZhMkpXZVdsaFNYQmlNRE5sV1RkelVUQnlNRWN2TTNjeWVuYzBMM2hqV0RaUmNtc3dXV0Y2Y0ZsUFEzSjJTWEJsTUVwS1pVdEpRMUJGUTFSVVRqRTViMjR3WjFKTFl6WllOUzlQVFZKS1MzVlZOMVYyTDBNMlJIQmlRVmx4YkdORVUzZzJWVTVXVUhkb1ZqWkRabXhyVVN0ek5GQTRWVEZ1Y2tWb1FuaFBaVWxVUTJSaFdWbDNNbGRhYzNWNU16TmhTM3BVVWtGVVlVMHlSbEJRYld0aWNubDZjVkJ0YUhKdGR6ZExXa1p5TUhoUmVVbzJZemR6VURSTlJsVlRiVkl5YlcxaU9WUTRSakJZTkVKaFRVdFhlRlkwZVRKdWEyMVRNM29yZUZZMWVWRmlielpTYTFCaFNWb3pNRk4wZFRSVlJubDBSVTVWYnpJMVVGQlhPRU51ZW14alpVMUpXVll4VGpGVVRYWXJaV2gyYW1kSU9FNXdOMUpzZVVOSFp6QjZhVXRPTVRCblZuWlVlRFZvYTFwdmNEbFZia3hMUjFkbmVVWlpUVEk1UnpGVGEwVldSa2xZTWpkclJIRkhNelpDU0U5NmVWQXZhRXRHSzA1dlpXOHpVR3R3TW5kUVlWZHdRbkpKTW1SU2NFOUNjR014TXpsSU1GTk5SbFZXUlRKRU56ZDBiR00wWjJSYVFWQTVlRkJHYmxGM2NsWkZkMDA0TVVsUGNGSlBiVmxNY0ZJM1Iwc3dVVWRTVm0xUWNISkVPRE5JT1RGR01IQmhNMFpYUzA1T1puTkdUSEIyZWpKWk1GWTNiVVZwYWxGNlJEVXlWbU5QVnpOUGNXOWhNRzlvWWxkWWJ6azBaVTF6YkdaQ05UQXdOMWN6ZGtwWWVXUTBOVlZPVFhOUVF6QXpaMGN6ZW1ZNFMwRnFhMnQ2VkhWdk1rNTRTVE5SY21VMU5FOXFSMHBWUFE9PTpOYW5PN0pMOE1oSCtneXhqRk9uREV3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780857298089 |
| Publisher: | SPRINGER LONDON |
| Release Date: | July of 2011 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Computer Science |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9780857298089 |
BOOKS FROM THE SAME COLLECTION
-
Computer Vision MetricseBook10%Springer Nature Singapore130,58€
145,09€ -
Computer-Aided Intelligent Diagnosis Of Skin MelanomaeBook10%Springer Nature Singapore178,28€
198,09€
-
Theory Of Money10%TAYLOR & FRANCIS LTD52,71€ 10% CARDfree shipping
-
Theory Of Money10%TAYLOR & FRANCIS LTD162,23€ 10% CARDfree shipping
-
On Sets And Graphs10%Springer International Publishing AG62,18€ 10% CARDfree shipping
-
Computational Logic And Set Theory10%SPRINGER LONDON LTD60,82€ 10% CARDfree shipping
-
An Introduction To The Technique Of Formative Processes In Set Theory10%Springer International Publishing AG60,82€ 10% CARDfree shipping
-
Computational Logic And Set Theory10%SPRINGER LONDON LTD60,82€ 10% CARDfree shipping