Noch Fragen? 0800 / 33 82 637

Theorem Proving with Analytic Tableaux and Related Methods

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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 applicationsweiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-49235-1 / 978-3540492351 / 9783540492351

Verlag: Springer Berlin

Erscheinungsdatum: 14.07.2005

Seiten: 361

Herausgegeben von Peter Baumgartner, Joachim Posegga, Reiner Hähnle

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück