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

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

Preço
R 990
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 3 - 9 de set

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

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

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 German  
Editor Baumgartner, Peter
Editor Hahnle, Reiner
Editor Posegga, Joachim
Mostrar tudo

Mais por Peter Baumgartner

Ver tudo de Peter Baumgartner ( por exemplo Paperback Book , Book e CD )