8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings

by

Write The First Customer Review
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings - Siekmann, Jorg H. (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings 1986, Springer, Berlin, Germany

ISBN-13: 9780387167800

Hardcover

Select
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings 1986, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783540167808

1986 edition

Paperback

Select