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

Siekmann, Jörg H.

Details

Published by: Springer

Publication Date: 1986-07-01

Format: Paperback

ISBN-13: 9783540167808

DOI: 10.1007/3-540-16780-3

Dimensions: 235.0cm x155.0cm

Pages: 716.0