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

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

Siekmann, Jorg H.(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

Read More
Available
£24.99
Add Line Customisation
Usually dispatched within 4 weeks
Add to List
Product Details
Springer
3662198231 / 9783662198230
Paperback
12/03/2014
155 x 235 mm, 1004 grams