5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 1980 Edition Contributor(s): Bibel, Wolfgang (Editor), Kowalski, R. (Editor) |
|||
ISBN: 3540100091 ISBN-13: 9783540100096 Publisher: Springer
Binding Type: Paperback - See All Available Formats & Editions Published: June 1980 Click for more in this series: Lecture Notes in Computer Science |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Computer Science |
Dewey: 511.3 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.83" H x 6.14" W x 9.21" L (1.24 lbs) 388 pages |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |