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 1986, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783540167808

1986 edition

Paperback

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

ISBN-13: 9780387167800

Hardcover

Select