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
WWxwcVJuRndlbFUyVnpKaE1HaERPVGxtZFVaTGJDOUlSbVZFWlRsSVpHaEVhakEyUkhWc1YwTTFNV2h6Vm0wemNrNVNVSHA2UkM5V1ZVUnRVakJRYnpsRlFXNURhbGxQVm1GdWIyUTNZbmQ2T1hadlRFNURhRlY0YkRSWVUyWlZUeTl6TTFkU1V6SlViMlpITTB4a1lWTndRbTR5ZWpSTFdqSjNTVVpzZG5CTk55OWtTRVEwY2pkME9ERjBiMWtyT0ZkSmRHMUlNM0Z1YVRKRVZVeERXVEZhUVhkVUwyNW5ZV2x6U2poNFVFVnhUSFZ1ZWtkbk1UTk9aMk14Y1hJeFdpdHpReTlDT1hGVE5uRjBSbWxIUjJFMlUyaExhM1ZrTkZSd1FVZExXRVJDZEZVelVYUjRjMDVpTUdJcldra3lTMVlyYzFjd2FEWjViMnBQWmxwaU9IQjVLMHh6YW1oNlYySmtSSFpMYWxSQlN6Y3plVlZuWVRZeE5qTnBlakJaVm5kTWVqVk9lbXN4WjNKTVkybFRlamxKZEhsblFXc3lUVTF0UkdGaE9GWjFabUZsSzNJd2FtY3lVVmc1UlRaNFdHdEJTRlUxTlZWeEszRmFSSGhOTkVwdmEyVjJNV2wxUzBWUlJ6TkNNMlk1VTFKcmVHZFlSRTFzYWpKT1NsVkxVRmcyUkZaRmRVaFBiMEpGUTA5bmNUTnJaVXBNUmxZMFpYQlRiMlJyVUhWb2QyMDFXVEl6T1ZsME5FTlRkemROVVdsRlQwa3dlbEZ2VUZWd1IwY3lSa2hKSzJkV2MyNHJiMDFuTW5oaFJtWXhjbFJ2UzNGU09HRnVibkl4UTA4clMzbExkRzFDYzI1SFoxVlFTM0IwVFU1SFoyRmFXbFYzU0V4aU9YTXdTblpRVEZSWE1GVTBhV2xvYlVSSWMybERRbVZpVVdSeFVXRmFPV1V4VkZWTFVqRjZlazFOYW1sTVIxUmpNRlIxVlVabVIwaHlTVEZUWkdoWU9Yb3JOVEZZVFdKYVIwcDFkR1V6Y2k5Q1JEbE1kMGRYT1V0UmNsQnJka1pDYWprMmNIQnlaRk5TWm1WQmJtYzBhM1I2TkV0bFVtbDFXR3czWTNSelMza3piR05qYVdodGRHRmtlRTVJZHpjMVEzQlRjVXRtYnpCVFEwdENZVVJTWjNweVJHcDNSalU1WWtwdVprSjZjSFI2YjAxb1JUWjZiRXd3WTNkbVNsTndUMHBNVEZoWE1qTmpRa2xLZW1zclIyTXZaV0pYWkZGWWF6SlllRThyYURaYU1XRnJkbUpuVlhwYU16VnVRM3BuUFE9PTpneDhnQW5QQVRsNnFvVjBrbXl6STRRPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9780857298089 |
| Publisher: | SPRINGER LONDON |
| Release Date: | July of 2011 |
| Language: | English |
| Format: | eBook |
| Collection: | Computer Science |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9780857298089 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Computer Vision MetricsSpringer Nature Singapore130,58€
145,09€ -
eBook10%Computer-Aided Intelligent Diagnosis Of Skin MelanomaSpringer Nature Singapore178,28€
198,09€
-
10%Theory Of MoneyTAYLOR & FRANCIS LTD55,42€ 10% CARDfree shipping
-
10%Theory Of MoneyTAYLOR & FRANCIS LTD168,97€ 10% CARDfree shipping
-
10%On Sets And GraphsSpringer International Publishing AG62,18€ 10% CARDfree shipping
-
10%Computational Logic And Set TheorySPRINGER LONDON LTD60,82€ 10% CARDfree shipping
-
10%An Introduction To The Technique Of Formative Processes In Set TheorySpringer International Publishing AG60,82€ 10% CARDfree shipping
-
10%Computational Logic And Set TheorySPRINGER LONDON LTD60,82€ 10% CARDfree shipping