Leviton

Automated Deduction - Cade-20 : 20th International Conference on Automated De...

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

Automated Deduction - Cade-20 : 20th International Conference on Automated De...

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

Recommended

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G

$82.72

View Details
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra,
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra,

$61.27

View Details
Automated Deduction - Cade-25: 25th International Conference on Automated
Automated Deduction - Cade-25: 25th International Conference on Automated

$97.07

View Details
Automated Deduction, Cade-15 : 15th International Conference on Automated Ded...
Automated Deduction, Cade-15 : 15th International Conference on Automated Ded...

$67.62

View Details
McRobbie - Automated Deduction - Cade-13   13th International Confere - S9000z
McRobbie - Automated Deduction - Cade-13 13th International Confere - S9000z

$147.01

View Details
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesvil
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesvil

$66.79

View Details
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich,
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich,

$67.60

View Details
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduc
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduc

$92.56

View Details
Automated Deduction – CADE-20: 20th - Paperback, by Nieuwenhuis Robert - Good
Automated Deduction – CADE-20: 20th - Paperback, by Nieuwenhuis Robert - Good

$49.77

View Details
Bjrner - Automated Deduction -- CADE-23   23rd International Confere - S9000z
Bjrner - Automated Deduction -- CADE-23 23rd International Confere - S9000z

$76.78

View Details