adicionar à lista de desejos
Automated Model Building eBook
language: english
Publisher:
SPRINGER NETHERLANDS, November of 2013 ‧
see product details
137,27€
20% OFF
TjNGU1luSjRjMGhRVW1kTU1tdEJjVFpvUldaclNsQmphMGRXUWxkRlNWUmFWRE5JZVhSU1lqVkRWSEZhZVRONGIwMXNaamhxTTI1UlJWTm5XR0puV1RkSWJsWlBNVVJuVkVOTWRuVjZWVlZhYjJGRWMwTnpiVTE0TURSR1MyWlNiMHhRZFRkb1NGVm9lR3QwVGxsRlRVZ3dhR2RSTUhGS2FteDRVbEp6ZVRWMGNFNVBjREpJWlRWMFIxcDFiM2hPYUdOeVRGSmhSbGhXY1doc05tcE5TM0Y1TkVwRE16bFdTRGhNVFZsSGIwcEVTakpXWlVFeWJIVnVkVkpTVUVvMlpYVmpXRFZuVURBMmRHZHVOMUV4U1RVcmNrTllLMUYxWmpGQmRGcG1UelZQV0c5WVNGVlRWU3RoZEhoclVWWk5RamhwWjI5WFJVSlJaR2xvVXpOdFJrSmtWRVZIYmpob1NXSllRbmRyVG10d1lYRjNNekZtT0UxTGNGTlpOak42Y21kRlZuRk5VMFI1ZFROM1lVUm5VaXRtUTBSVVl6RjVWMWd6Y2tsS1RVNXJTbTlpTW5Ca2RHVlhRWFYyYkZSak5XdG1VSFpNZDFSWk1qVk9ieXRDVkU1a2NYVTNibmxWTkUxSVpVMDFTVFZLUzB0Q2VIUmpiREkzVEdadFluY3JRWGRhTms5TVEwbEpSMlJCZUUxRGJ6SktNbHBKY2xkQmJtdFdXVVk1U3pkM2VGcFNOR05xU0hoUmVHUlFjMkpSU1dsaFYzUlZRaXQyTVRsVFNWaE9NVGRRTWtkdlIwZEpXakZ3UWpSWGFGRnlaMlE0YmpKcU16UTFMM1J3WXpsU2RVcEhiVGRUYmxablZFdHpTMUJrZUZKSVQxaHNkbmhITVdJelVUaDZVbXB6Y0U5MU0xcDBVM2d3Y2tGUlIwaHZlbE1yVTFWaWVXSnVWemxwWkU5RllUSXlaamhoTjNOSGNtcFlORkZXVTI5TVlTdFljSGxJWjNGalExRmhTSHBpTWpoeU9TOTBOMEl5TTJaM1EyWXhNVVZXYTNKR1owZ3ZSMUJoYzJkNE5tWnhSREY2YjJ3cmIxSkViV1ZtYlVWMmF6WTFUR2g0Vm5wcmRHNTRjRFJoU0V4V1NIbE1hMFpuWjBwU1owNW1NVFJ3Vkc5UFZITjRUUzlrY0Vsd1VVZHZZbTkyZFhSRFJTdHBORVEyT1VWdGJYRnRZVE5TZUcxNlVVNTVWRlpqZHpSTFZWcDNXamxJVmxFMVpIZzJVV2h5VjFKSlZFaEVTbGRZUTNnNWJESTNTemgwY2tONlMxVkJMMFpyUFE9PTpOZ0RzNEV1YVJJV1hmUDdOSFpkL0lRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
DIGITAL SUNDAY SEE MORE ITEMS ON SALE
SYNOPSIS
Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781402026539 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | November of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9781402026539 |
BOOKS FROM THE SAME COLLECTION
-
eBook20%Modern Perspective On Type TheorySPRINGER NETHERLANDS116,07€
145,09€ -
eBook20%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS94,87€
118,59€
-
10%Logique Pour L'Informatique Et Pour L'Intelligence ArtificielleHERMES SCIENCE PUBLICATIONS123,53€ 10% CARDfree shipping