Theorem Proving with Analytic Tableaux and Related Methods

Theorem Proving with Analytic Tableaux and Related Methods

EnglishPaperback / softback
Springer, Berlin
EAN: 9783540593386
On order
Delivery on Tuesday, 11. of March 2025
€48.30
Common price €53.67
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available

Detailed information

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
EAN 9783540593386
ISBN 3540593381
Binding Paperback / softback
Publisher Springer, Berlin
Publication date April 26, 1995
Pages 361
Language English
Dimensions 233 x 155
Country Germany
Readership Professional & Scholarly
Illustrations XI, 361 p.
Editors Baumgartner Peter; Hahnle, Reiner; Posegga Joachim
Edition 1995 ed.
Series Lecture Notes in Computer Science
Manufacturer information
The manufacturer's contact information is currently not available online, we are working intensively on the axle. If you need information, write us on helpdesk@megabooks.sk, we will be happy to provide it.