Description: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2000 St Andrews, Scotland, Uk, July 3-7, 2000 Proce by Tableaux 2000 Staff Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less
Price: 6.03 USD
Location: Aurora, Illinois
End Time: 2025-01-10T14:18:29.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
Book Title: Automated Reasoning with Analytic Tableaux and Related...
Weight: 1 lbs
Product Group: Book
IsTextBook: No
Number of Pages: X, 440 Pages
Language: English
Publication Name: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 2000, Proceedings
Publisher: Springer Berlin / Heidelberg
Subject: Intelligence (Ai) & Semantics, Computer Science, Compilers
Publication Year: 2000
Item Weight: 49.4 Oz
Type: Textbook
Subject Area: Computers
Item Length: 9.3 in
Author: Tableaux 2000 Staff
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
