Description: Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 97, Pont-A-Mousson, France, May 13-16, 1997 Proceedings, Paperback by Galmiche, Didier (EDT), ISBN 3540629203, ISBN-13 9783540629207, Like New Used, Free shipping in the US 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.
Price: 66.77 USD
Location: Jessup, Maryland
End Time: 2024-11-16T23:43:53.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Automated Reasoning With Analytic Tableaux and Related Methods :
Number of Pages: Xii, 380 Pages
Language: English
Publication Name: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX '97, Pont - Mousson, France, May 13-16, 1997, Proceedings
Publisher: Springer Berlin / Heidelberg
Subject: Systems Architecture / General, Hardware / General, Intelligence (Ai) & Semantics
Publication Year: 1997
Item Weight: 42.7 Oz
Type: Textbook
Author: J. G. Carbonell
Subject Area: Computers
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
