Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. ... / Lecture Notes in Artificial Intelligence) | 
 enlarge | Creators: Peter Baumgartner, Reiner Haehnle, Joachim Posegga
Publisher: Springer
Category: Book
List Price: $74.95
Buy New: $70.19
You Save: $4.76 (6%)
New (14) Used (12) from $32.62
Sales Rank: 5751910
Media: Paperback
Edition: 1
Pages: 352
Number Of Items: 1
Shipping Weight (lbs): 1.1
Dimensions (in): 9 x 6 x 0.6
ISBN: 3540593381
Dewey Decimal Number: 005.11
EAN: 9783540593386
Publication Date: June 8, 1995
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Shipping: International shipping available
Condition: New American book. Printed on demand and shipped within the US in 4-7 days (expedited) or about 10-14 days (standard). Standard can occasionally be slower so we advise using expedited if quicker delivery is important!
| |
| Editorial Reviews:
Product Description
This volume 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.
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
|
|
|
