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: Second International Workshop, ADG'98, Beijing,
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing,

$67.23

View Details
Felty - Automated Deduction - CADE-25   25th International Conference  - N555z
Felty - Automated Deduction - CADE-25 25th International Conference - N555z

$81.72

View Details
Automated Deduction - A Basis For Applications Volume I Foundations - Calcu...
Automated Deduction - A Basis For Applications Volume I Foundations - Calcu...

$157.87

View Details
R E Shostak / 7th International Conference on Automated Deduction Napa
R E Shostak / 7th International Conference on Automated Deduction Napa

$25.00

View Details
Automated Deduction in Geometry : 10th International Workshop, Adg 2014 Coimb...
Automated Deduction in Geometry : 10th International Workshop, Adg 2014 Coimb...

$57.27

View Details
Schreck - Automated Deduction in Geometry   8th International Worksho - S9000z
Schreck - Automated Deduction in Geometry 8th International Worksho - S9000z

$85.86

View Details
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduc
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduc

$67.23

View Details
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 : 6th International Workshop, ADG 2006, Ponte...
Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Ponte...

$63.06

View Details
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lect
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lect

$49.85

View Details