Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science - Peter Baumgartner - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540593386 - 26 de abril de 1995
Caso a capa e o título não sejam correspondentes, considere o título como correto

Peter Baumgartner
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Peter Baumgartner

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

Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloss Rheinfels, St Goar, Germany in May 1995. This book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, and higher-order logic.

361 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de abril de 1995
ISBN13 9783540593386
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 361
Dimensões 155 × 233 × 19 mm   ·   526 g
Idioma Alemão  
Editor Baumgartner, Peter
Editor Hahnle, Reiner
Editor Posegga, Joachim

Mais por Peter Baumgartner

Mostrar tudo

Mais da mesma editora

Ver tudo de Peter Baumgartner