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
V2xCeWFHcHVla3hsYVhkVksxWm9TbFUyY3pjNVNIWnJaVGRSYjNoT0syTk9SRVpIYkdOalRrNXBXR3R2Y25sTmRTOWhNRzV2VFZwUWQyZHRTbVZpVnpCTmVsSTJRVkIzVTI5bU1rMUhTR0pKWjJ4MVFVZzJTRzR2YUcxeGRrbHJRbGxSTkRNNU5HSlBOMjVSWVVOVVNqaEZRMWhGU1djMVowTmlRbTQxYzBKWmVtaDJabmhWV21wVlNtOUlObU5qZEZoeVVXbG9hbnB0TldoYVJVaHpka05aVVd0TVpYWmliVkpTZFVwNkszUXlTVkJNTDNJMlVGWllVbEpQYjBwRFUxWXlSWEpWTlU5NlRucHFkMGRWU0hVemNtazNRVGR6YzIxeVMzZFlhVTVSVTA4dlZ6SnphMWx6VFZsTlVqbDVjMFJCZUZKWmNGQkhjbk01UlRaeGNta3dUM1p0WVV0WE1tZHROU3R0ZGtoYWFISTRORlpDTUZKc2JFazFUVzUyVkdkb1RFWlJhRXBsY1RoVVVWQXhhQzk1YTIxcFVYVjRTMWxEYnpoWE5sUlhNQzlEY0dwNVEzTXhOM1oyWVZGTksxaFFjMmhFWVhScE1qSlhiSE0yZVZwR2JsSlBXRzV6YTNFMk9UQm5ZblUzWm14aFl6aHpSV1ZhYWpSVmF6RjNlbnAyUWpKNE1GaDJVamRVT0VkRllUZzNWMmQ2VEhnelIzVkpkemhWVDNVcmJDdEhZMDlGUkZSNWVFOUVWMlZEUjFCWVFWcHBaUzl0UlRWV2NYazVNRmxOZEV0aVdHUmlPRmRIZEVnM1FYY3lNVWRaWTB4Rk9XcFllWGh1YTNOalRVdHFVMm80YjFwWWJHMXRkMEpTUkU5a1QweDZXVkF5TVVwdVYzaGFWbFJaWlZGYVZXdzNSVU5VUTFkSlRHa3lSbVJ2UmxRMVZESkZTRWwwTkhWRFpHUkJkSGRWU1dOdE5WZE9iMkZZWml0SlJVVndjMmMzYkRZM2REY3dkREF4ZDI1VGFWRkNSbnBIT0VNdlZYSlhObGRsYjBkblNtTnpVV3hUVlc0ME1VYzJSMGt2Um14blpXZENTSEF4YzJWRVNXcEdOVWRJWWpZNFVrOXBRVTlDU2xOVVpHWlVWRm80ZWk5NE5tUkliMnhXY1RjdlRubDBhVmRWY25ndmJVY3dZbVp4T1hGb1kwZENlVVE1U1V4TVoyeE9aMWRSY0VOcllqRXJWRTF6ZEhCak0xUmFURWczWVRGck9VUlJRWEZ4ZEZkUE0xWldka3QzTldocWJHTkhiMVZ0WW1SNWRIVXlaWEJKUFE9PTozNEM1SS80VnJJNy9tVktSNExCSVJnPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9789400916777 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| Collection: | Automated Reasoning Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Other Applications |
| EAN: | 9789400916777 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Automated ReasoningSPRINGER NETHERLANDS118,59€ 10% CARD
-
eBook10%PitonSPRINGER NETHERLANDS59,61€ 10% CARD