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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540593386 - April 26, 1995
In case cover and title do not match, the title is correct

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

Price
Íkr 6,899
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 24 - Jul 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 26, 1995
ISBN13 9783540593386
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 361
Dimensions 155 × 233 × 19 mm   ·   526 g
Language German  
Editor Baumgartner, Peter
Editor Hahnle, Reiner
Editor Posegga, Joachim

More by Peter Baumgartner

Show all

Mere med samme udgiver

See all of Peter Baumgartner ( e.g. Paperback Book , Book and CD )