1980 | Book
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Editors: Wolfgang Bibel, Robert Kowalski
Publisher: Springer Berlin Heidelberg
Book Series : Lecture Notes in Computer Science
Included in: Professional Book Archive