Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...

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, Brand New, 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.78 USD

Location: Jessup, Maryland

End Time: 2024-11-16T16:53:23.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