Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science - R Caferra - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540671909 - 9 de fevereiro de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

R Caferra
Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science 2000 edition

Preço
€ 60,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 19 de ago - 2 de set
Receba avisos sobre novos lançamentos de R Caferra

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

304 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de fevereiro de 2000
ISBN13 9783540671909
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 304
Dimensões 155 × 235 × 16 mm   ·   439 g
Idioma Francês  
Editor Caferra, Ricardo
Editor Salzer, Gernot

Mais da mesma editora

Ver tudo de R Caferra ( por exemplo Paperback Book )