You might also like

More about Automated Reasoning with Analytic Tableaux and Related Methods

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Automated Reasoning with Analytic Tableaux and Related Methods
• Subtitle: International Conference, TABLEAUX '97, Pont-a-Mousson, France, May, 13-16, 1997. Proceedings
• Author: Didier Galmiche
• Language: English
• Binding: Paperback
• Number of pages: 380
• EAN: 9783540629207
• ISBN: 3540629203
• ID: 05274694
• Publisher: Springer, Berlin
• Weight: 510 g
• Dimensions: 234 × 156 × 20 mm
• Published: 1997

Trending among others

---

---

---