Theorem Proving with Analytic Tableaux and Related Methods

Name: Theorem Proving with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 9783540593386
Price: 52.64 EUR
Availability: InStock

4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings

Автор: Peter Baumgartner, Reiner Hähnle, Joachim Posegga

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.64 € 102.96 лв

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with An...

Информация за книгата

Автор

Peter Baumgartner, Reiner Hähnle, Joachim Posegga

Език

Английски език

Корици

Книга - С меки корици

Издадена

1995

страници

361

EAN

9783540593386

ISBN

3540593381

Enbook ID

05274464

Издател

Springer, Berlin

Теглоt

496

Размери

155 x 233 x 19

Пълно описание

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също