Eighth International Conference on Automated Deduction

Eighth International Conference on Automated Deduction

by Joerg H. Siekmann
ISBN-10:
0387167803
ISBN-13:
9780387167800
Pub. Date:
07/28/1986
Publisher:
Springer-Verlag New York, LLC

Hardcover

Current price is , Original price is $74.95. You
Select a Purchase Option
  • purchase options

Product Details

ISBN-13: 9780387167800
Publisher: Springer-Verlag New York, LLC
Publication date: 07/28/1986
Series: Lecture Notes in Computer Science
Pages: 708
Product dimensions: 6.50(w) x 1.50(h) x 9.50(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews