5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
By: edited by W. Bibel and R. Kowalski.
Contributors: Bibel, W., 1938-; Kowalski, Robert.
Series: Lecture notes in computer science ;; 87
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin; New York
Language: eng
Number of pages: 385
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.