Description: Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings by Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less
Price: 12.03 USD
Location: Aurora, Illinois
End Time: 2024-11-09T20:21:49.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: Xiv, 438 Pages
Language: English
Publication Name: Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Publisher: Springer Berlin / Heidelberg
Publication Year: 1999
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Logic
Type: Textbook
Item Weight: 49 Oz
Author: Harald Ganzinger
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback