Leviton

Automated Deduction - Cade-21: 21St International Conference On Automated D...

Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Automated Deduction - Cade-21: 21St International Conference On Automated Deduction Bremen, Germany, July 17-20, 2007 ProceedingsISBN13:9783540735946ISBN10:3540735941Author:Pfenning, Frank (Editor)Description:A Veritable One-Stop-Shop For Anyone Looking To Get Up To Speed On What Is Going Down In The Field Of Automated Deduction Right Now This Book Contains The Refereed Proceedings Of The 21St International Conference On Automated Deduction, Cade-21, Held In Bremen, Germany, In July 2007 The 28 Revised Full Papers And 6 System Descriptions Presented Were Selected From 64 Submissions All Current Aspects Of Automated Deduction Are Addressed, Ranging From Theoretical And Methodological Issues To Presentation And Evaluation Of Theorem Provers And Logical Reasoning Systems Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:2007-07-05Weight:1.86 lbsDimensions:1.24'' H x 9.37'' L x 6.35'' WNumber of Pages:522Language:English

Price: 59.58 USD

Location: USA

End Time: 2024-11-11T19:56:04.000Z

Shipping Cost: 0 USD

Product Images

Automated Deduction - Cade-21: 21St International Conference On Automated D...

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Automated Deduction - Cade-21: 21St International Conference...

Item Length: 9.3in

Item Height: 0.5in

Item Width: 6.1in

Author: Frank Pfenning

Publication Name: Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Format: Perfect

Language: English

Publisher: Springer Berlin / Heidelberg

Publication Year: 2007

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Item Weight: 28.7 Oz

Number of Pages: Xii, 524 Pages

Recommended

Automated Deduction in Geometry - 9783319213613
Automated Deduction in Geometry - 9783319213613

$30.00

View Details
Bundy - Automated Deduction - CADE-12   12th International Conference - S9000z
Bundy - Automated Deduction - CADE-12 12th International Conference - S9000z

$77.47

View Details
Automated Deduction  CADE 26 - 9783319630458
Automated Deduction CADE 26 - 9783319630458

$75.90

View Details
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedr
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedr

$66.79

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: 9th International Workshop, ADG 2012, Edinburgh
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh

$81.37

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 in Equational Logic and Cubic Curves by William McCune (Engl
Automated Deduction in Equational Logic and Cubic Curves by William McCune (Engl

$93.29

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
Bjrner - Automated Deduction -- CADE-23   23rd International Confere - S9000z
Bjrner - Automated Deduction -- CADE-23 23rd International Confere - S9000z

$76.78

View Details