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  CADE 26 - 9783319630458
Automated Deduction CADE 26 - 9783319630458

$75.90

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-11 : 11th International Conference on Automated De...
Automated Deduction - Cade-11 : 11th International Conference on Automated De...

$127.55

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

$95.26

View Details
Automated Deduction – Cade 28 : 28th International Conference on Automated De...
Automated Deduction – Cade 28 : 28th International Conference on Automated De...

$61.16

View Details
Automated Deduction-Cade-18 : 18th International Conference on Automated Dedu...
Automated Deduction-Cade-18 : 18th International Conference on Automated Dedu...

$68.29

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 in Geometry - 9783319213613
Automated Deduction in Geometry - 9783319213613

$30.00

View Details
Automated Deduction CADE-22: 22nd International Conference on Automated Deductio
Automated Deduction CADE-22: 22nd International Conference on Automated Deductio

$67.23

View Details
Caferra - Automated Deduction in Classical and Non-Classical Logics   - S9000z
Caferra - Automated Deduction in Classical and Non-Classical Logics - S9000z

$68.72

View Details