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

Botana - Automated Deduction in Geometry   10th International Worksho - S9000z
Botana - Automated Deduction in Geometry 10th International Worksho - S9000z

$63.00

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 28 - 9783030798758
Automated Deduction CADE 28 - 9783030798758

$40.94

View Details
Automated Deduction in Geometry - 9783642406713
Automated Deduction in Geometry - 9783642406713

$44.29

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

$93.21

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

$109.80

View Details
Automated Deduction -- CADE-24 - 9783642385735
Automated Deduction -- CADE-24 - 9783642385735

$49.82

View Details
Automated Deduction in Geometry: International Workshop on Automated Deduction i
Automated Deduction in Geometry: International Workshop on Automated Deduction i

$66.98

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 - A Basis for Applications Volume I Foundations - Calculi an
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an

$244.32

View Details