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 OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: June 1980 |
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" (1.24 lbs) 388 pages |