8th International Conference on Automated Deduction: Oxford, England, July 27-August 1, 1986 (Lecture Notes in Computer Science)

by Jorg H. Siekmann Paperback details (United States). ISBN: 978-0-387-16780-0 ISBN-10: 0-387-16780-3 Springer Verlag · 1986