Leviton

Automated Deduction - Cade-16: 16th International Conference on Automated...

Description: Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings by Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less

Price: 12.03 USD

Location: Aurora, Illinois

End Time: 2024-11-09T20:21:49.000Z

Shipping Cost: 0 USD

Product Images

Automated Deduction - Cade-16: 16th International Conference on Automated...

Item Specifics

Return shipping will be paid by: Seller

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Binding: Paperback

Weight: 1 lbs

Product Group: Book

IsTextBook: No

Number of Pages: Xiv, 438 Pages

Language: English

Publication Name: Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Publisher: Springer Berlin / Heidelberg

Publication Year: 1999

Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Logic

Type: Textbook

Item Weight: 49 Oz

Author: Harald Ganzinger

Item Length: 9.3 in

Subject Area: Mathematics, Computers

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

Nieuwenhuis - Automated Deduction - CADE-20   20th International Conf - S9000z
Nieuwenhuis - Automated Deduction - CADE-20 20th International Conf - S9000z

$69.20

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

$61.92

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 Classical and Non-Classical Logics: Selected Papers (Lect
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lect

$49.85

View Details
 Automated Deduction : A Basis for Applications : VOL. III :by Bibel and Schmitt
Automated Deduction : A Basis for Applications : VOL. III :by Bibel and Schmitt

$14.95

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
Caferra - Automated Deduction in Classical and Non-Classical Logics   - S9000z
Caferra - Automated Deduction in Classical and Non-Classical Logics - S9000z

$68.72

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

$67.23

View Details