5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)

by: Savoie, France) Conference on Automated Deduction 1980 (Les Arcs · W. Bibel

Paperback

details (USA).

ISBN: 978-0-387-10009-8

ISBN-10: 0-387-10009-1

Springer Verlag · 1980