adicionar à lista de desejos
Resolution Calculus eBook
language: english
Publisher:
Springer Berlin Heidelberg, December of 2012 ‧
see product details
47,69€
20% OFF
UkRoWFdXNU5OMnB4VlVwdmJWRTJabG93ZVU1R1NGcGlOU3RrUWpGM1RrNVpRV014TVVkeFZrUlFWekIxYWtsNE5VZG9la2RRWlRKTVkwTmhRemhOTTB4RGFGUTJkbkpQTjBveVZsUldkVGxuY0VScU0zazBhV2hVTjNOV0wyTTFOemQ2VHpGWE9YVlBOMDVUUXk5blVYTnRRbWh0TjA4eWF6bHVTekZ1ZEZGUU1VOXVLMkZVSzNWUE0yMTJkazh6YlVVMldHeG1ObXRaUzB0aFRraG9lSEJLZVUxeVUwUjBaMkZtVm1keldIUjJOWGRXVW5OdGNUaE9aVzlaV1hNdmIwRllaV3h3ZDJ4TmN6QXZiMnN6VUZCM2REWnVkVk4wTWs5UmEyNXhRVGsyVmpCdWJFSjRZMUJSTW1Gc1FYSlhNR3d5Y1VSVlZWUXlVbmxFUzBSSE9FdHNRakZwV0ZaQmVHcFFMemRYVVRGMWRGSlBkbEJOTlZWc2IzcHRUblpCTm1VeWMwc3dTVzVKTjFoMGREZHFMM2gxYUN0dE1FcHBibkZCYUc5RE1WWnNjVlpySzBKcWMxSkJUM0p3ZUVSNmF6WXlZV0ozUTFwRVpIaDVZMEozYTJaeWJVVTRaR1YxTXpWc1kyVjZkMDQzWmpoc1FYQkRabUZRTkU5MU5qbEdRMWR1YW5wTFFrODNUV0ZWTkUxdGNqWTVaSGhrVUZBMVptSXdMMUo1ZDBseGJFNHJjemx0WVdkR1p6ZHNkMk0zUkZCVWJHNHhWMk5CVEhSSFRFRXJaMWxNY2tFMGRITkNaakpTUkRaUU1tRXhVMFl2ZW5kbFl6SlJXbEIwYjAxQ1ZtOHZhWHBGUzJ0amVHVmliVmwwVDAxUFlqaFlWMkppTVdwMmQxQnJhekJQVlhacGR6RnBaRXhMUVdWeVZuZHdhM05tT1dkVFpIaDBNelE0VjI5NVFVOURWRWhOVFZFM2VtTmxhMUI1V0M4MmMwZDNWVzl6VlZsMVJHWkxSWEZUWW1aVlFUVjNRVkZ5ZDBkSFEzZE9VR0V4VWtkVlRVaEZObXhoTkZFNFowVlRObnBOUTBvelZUZ3lWbE55V1RoaGVVaERMM1E1ZUVrMlEzWk5TM295YUVSS2F6aE5ZM2RIUW1WTU5GTkNNbmhhV25vNFkyaEZUVmh0TTB3eksxcGpTRkJCTldFMVVWbHNVREpTWlRkcWR6Vm9Wa0pTYTFoYVRGZGhMMEZhYUdNNVJIUlVaM1JUSzAxTmNWQm9iMVZTTTNSeVdYTkNkRTA0VjNScmNWUk5RMnN6VkhrM2VsTklUV3hSUFE9PTp3Q1AvNjZWeHd6cGx0dkRERDFReHBBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
DIGITAL SUNDAY SEE MORE ITEMS ON SALE
SYNOPSIS
This is a presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783642606052 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9783642606052 |