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

Fontaine - Automated Deduction - CADE 27   27th International Confere - S9000z
Fontaine - Automated Deduction - CADE 27 27th International Confere - S9000z

$109.80

View Details
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing,
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing,

$67.23

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

$67.23

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: 7th International Workshop, ADG 2008, Shanghai,
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai,

$67.91

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

$67.85

View Details
Botana - Automated Deduction in Geometry   6th International Workshop - S9000z
Botana - Automated Deduction in Geometry 6th International Workshop - S9000z

$68.72

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-16: 16th International Conference on Automated Deduct
Automated Deduction - CADE-16: 16th International Conference on Automated Deduct

$68.46

View Details
Automated Deduction – CADE 26: 26th International Conference on Automated Ded...
Automated Deduction – CADE 26: 26th International Conference on Automated Ded...

$88.17

View Details