adicionar à lista de desejos
Resolution Proof Systems eBook
An Algebraic Theory
idioma: inglês
Editor:
SPRINGER NETHERLANDS, dezembro de 2012 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
U0V4VmNuWnNkbXhQZWpKVVUyUXhlR3hsV2paUlowcFBNVFZsSzJOQ05VVlhXWEpHUWxkWU9WY3JVRkoxYkdSWVkxUnNlV0pWWldGeFJEVkpjM05CYVdabmRGRndaVFpWVmpkVllURXpZMVJvU1ZWWlRXVlhZbmcxVm1wcVJtRkdkMlZKVVVwbk5IazFURkZvVERST1V5OHJORzVCV21vemJtdG1kV1Z0Y0cxbVZuVjZPR3RhUkhoc1ZHUm5XRU5IYzJGNVJtaExLMUZwYVd0RFQxRnFSR3hPU1VSSWVVTndaalpoTURGTVluQkhiMUF5Y2tSWVoxWlBVVmhQYTNwaE5YQkVTa1lyTTFaVlkxWlFhalpDVm5KSVkxVjZMekp6WVdkdVJVaHRNbVYyWkhCSlFtOVpZbVpKU3pWYVpYUlJUMWhrYURKU1RGSllSVFpNVlV0NU0zZGtUVEJ1YzJWdmVpdDFWRUYwYldWS2RsQXZXRkY2WWtwV1NrVm9UemxEVjFKbFVXMVZNMlpaUWt0cFYyVlllWFp3UldWQ1ZtTXlSM2R1TkhvNE9XVnhRVU40TVhsUE1EQkRiazFhVmt0bVdIVm9helZFV21oVFYyOUtjR1o1YVhKUFRFMDRaREk0UTBwcFFXNWFTMlZ6ZEdwT1RpOUZlbklyTVdsTlpVcHZPVUZqYTNwQk9FMUpPVUpNYnpKdmJFbENlWFZJTjNnNFoydExiRGhqY1RWek5tbG1NRFJETTJaVFJYaFpZalF2YzBGMFozb3hXbUZWV2s1QlVuZDJRVkF3Um1KYWFEVkhNRTlhUTJacVVIbHJSbkJ3YzNwNE1YRTRaMGxqS3pWdFoyOUphVGRQVDJKa1ozbHZSRVJKZFc1RVNpdDBhRXgwYm5kRlJtUlRZM2RSTDFkek1HdENXRUZxYkcxcUsxQnRkVzFoWmxwNGJVUkxSWEJaYVcxUE9EUlNha295Y0Rsb2JEWkpTWGw1T0VnMGNqa3dUVzQ1ZERaQlpYWmFlR0pEUXpkV1ZIVlNTM3BMY2xCdFYweHJjbTVLU2t4b2NXRllPV1I2ZFhOVlkwOVlVekoxUlZVeFZubHNTR2x4ZW5SdFZEQnBhVXh2WVdjclpqWXdUa1ptTkZkNlQwaGtOemxPY1dOTVZFVnZlRXhGYlVSa1RIbzJWbnBLTWpKSkwza3ZTMEZrWTBoeFFWTkdRVUpPWW1wTlVFUk9Sa1ZRY0d0ak5UTTRTbVptVG5OclIwWk1ialZKTlVkVFJYbGhRbms1YjI4ME9IZE1NVTVqVkdSc2VFUXZOalJoWmxrMk1YaFBUVzFOUFE9PTpyWEdkd1lUWWhwZE5vSXhROVdaTDBnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789400916777 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Automated Reasoning Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Informática > Outras Aplicações |
| EAN: | 9789400916777 |
LIVROS DA MESMA COLEÇÃO
-
Automated ReasoningeBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO
-
PitoneBook10%SPRINGER NETHERLANDS59,61€ 10% CARTÃO