8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings 1986 Edition Contributor(s): Siekmann, Jörg H. (Editor) |
|||
ISBN: 3540167803 ISBN-13: 9783540167808 Publisher: Springer
Binding Type: Paperback - See All Available Formats & Editions Published: July 1986 Click for more in this series: Lecture Notes in Computer Science |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Intelligence (ai) & Semantics - Computers | Programming - General |
Dewey: 005.131 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.45" H x 6.14" W x 9.21" L (2.20 lbs) 716 pages |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |