adicionar à lista de desejos
Resolution Proof Systems eBook
An Algebraic Theory
language: english
Publisher:
SPRINGER NETHERLANDS, December of 2012 ‧
see product details
118,59€
10% OFF
CARD
VHpkcVQzb3haemRrTldFM1dtaERlbWxCVnpKc2JpOUxZV3RIWmtOWFZHbFVXRUpuWVZKbVozSjNPSE5hY0dkNGJYSlJSbVo0YlhVM1lXZ3dWV3hKZEZkS1ZFdHFZekZ3ZVdOS01WcDNaMVppVFd0eVdIQnlkVTB6TWtKVlFYRlFhMUJoVlRJemNGZGxOVTFuUmtOQ0syNXdaRTFETWxweWFGWmlhVnB6YzI5UFQwMVlUa0Z5T1dscFlVWlZiWFlyTkhwak1FOTJOMFJ6UlhNd1ZuSmxPVlJ2TUUxT1ZsSjBkR2x4UVRSUmFtdDJOMWMxVm5GVVp5OHdRWGgxVVdSR0wxb3lSRUpuYnpBM01HUjRlR3hEYVhkRk5FeGliVEpKY1VGMFZYVTNPVWh4ZFM4eVozaFlkalp0WkVreFZWVTJhM00wV25jMVJWVk1abU5PY0RjelExZDNiU3RGUkRZNVJVOURTazk2V2s0M1kyMU9SMnQzVEVsNFJXNUhPRmx5Y0U5RlFWVkxXRkZGV2xJdlVqRkdlWEF4TVdFM2VXcFhVQ3MyWVdac01FMDVOakUwU0hOellqSXdXWFYyUVZGb2QxSXpUbXhzZVdoaVFVdDRZMGx5Y0ZsVlZYVnJhVGxJVGxaVmNYWm9aRXR5VFRFNFdUbEJLMmRCYjFkdlN6aHZiVkUzYzJjNVNuVlJSVFJtTmxSd2VWSndlRmRGZVZsTVFWTTNRbkZ6ZUhsNFNVdHZkRTkyWmxSNlpteFNXbXBwYWtWdFowTkljbTlKWVcwNFNqWmFUMUZVUlZGamMxWmxlRmx3UVVWVVZFUlRlVkJtSzBwUFpFSXdkMUZPWW1RdloxUlBkMDVHTDBGU2NtUnNPRVpRUjFKUU1FVmtjV1ZFYXpGR1EyRlNZMHN3Y1dKbVUwMURZVkJRYUdOM01XSkxLM05sZDFGa09FNHdUR2xEU0hSbE5EZHhkamN4VVZjemFHbEhkbTlYZUdwRmJIbHpiak4wYkd0Mk5XaDNTbXRIWkZsT2VrTjZLMXBFVlVORVZEZ3ZWbFI1VTFCMGFHUnhPRlJRZWtKTWFXSmthSGd4YVV4U05YaERWalkwV25Wc1kwWlhSM05XTkdrMFUySlFWMUZrZVU4emNqQTNja0ZRU204M1kwWmFiRXBuTkZSVlRITTNOR1JDU2pGNlV6Y3hRbWh3UzFCNVp6ZHVOWFI1WnpSVFlUZzJaVk41TVRoVlEzbE9kRFJvTUVodVRISlZMMFExWVRkMU5UQkxWWEZuYm01Q1NGWTVOVEpVVVU5MmNubHhZVVpPTmxKWlEwWmlUMHB6UFE9PTpYTGFRUDBacXZteDArTkJKbnVieDdBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789400916777 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Automated Reasoning Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9789400916777 |
BOOKS FROM THE SAME COLLECTION
-
Automated ReasoningeBook10%SPRINGER NETHERLANDS118,59€ 10% CARD
-
PitoneBook10%SPRINGER NETHERLANDS59,61€ 10% CARD