Description: Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Pro by Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less
Price: 10.85 USD
Location: Aurora, Illinois
End Time: 2025-01-10T17:12:05.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 Deduction - Cade-14
Weight: 1 lbs
Product Group: Book
IsTextBook: No
Number of Pages: Xv, 469 Pages
Publication Name: Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 1997
Subject: Systems Architecture / General, Hardware / General, Intelligence (Ai) & Semantics, Logic
Item Weight: 52.6 Oz
Type: Textbook
Subject Area: Mathematics, Computers
Author: J. G. Carbonell
Item Length: 11 in
Item Width: 8.5 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
