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
de Moura - Automated Deduction - CADE 26   26th International Confere - S9000z
de Moura - Automated Deduction - CADE 26 26th International Confere - S9000z

$109.80

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

$69.14

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: 4th International Workshop, ADG 2002, Hagenberg
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg

$67.23

View Details
Platzer - Automated Deduction - CADE 28   28th International Conferen - S9000z
Platzer - Automated Deduction - CADE 28 28th International Conferen - S9000z

$70.81

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

$12.04

View Details
Automated Deduction - CADE-14: 14th International Conference on Automated Deduct
Automated Deduction - CADE-14: 14th International Conference on Automated Deduct

$68.69

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