Description: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Pro by May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less
Price: 120.01 USD
Location: Aurora, Illinois
End Time: 2024-11-10T17:12:01.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Binding: Paperback
Weight: 1 lbs
Product Group: Book
IsTextBook: No
Number of Pages: X, 325 Pages
Language: English
Publication Name: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998
Publisher: Springer
Subject: Intelligence (Ai) & Semantics, Logic
Publication Year: 1998
Item Weight: 16.2 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Author: G. Goos
Item Width: 6.1 in
Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Ser.
Format: Trade Paperback
