Description: Automated Deduction - Cade-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, Paperback by Nieuwenhuis, R. (EDT), ISBN 3540280057, ISBN-13 9783540280057, Like New Used, Free shipping in the US authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.
Price: 67.21 USD
Location: Jessup, Maryland
End Time: 2024-12-16T22:44:58.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
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
Return policy details:
Book Title: Automated Deduction - Cade-20 : 20th International Conference on
Number of Pages: Xiv, 466 Pages
Publication Name: Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2005
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Logic
Item Weight: 25.5 Oz
Type: Textbook
Author: Robert Nieuwenhuis
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback