| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed 1997 Edition Contributor(s): Galmiche, Didier (Editor) |
|
 |
ISBN: 3540629203 ISBN-13: 9783540629207 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: April 1997 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Expert Systems - Mathematics | Logic - Computers | Programming - General |
| Dewey: 006.333 |
| LCCN: 97011975 |
| Series: Lecture Notes in Mathematics |
| Physical Information: 0.81" H x 6.14" W x 9.21" (1.21 lbs) 380 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |