5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980

5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980

Bibliographic Details
Corporate Author: Conference on Automated Deduction Les Arcs, Savoie, France
Other Authors: Bibel, W., Kowalski, Robert
Format: Book
Language:English
Published: Berlin Springer-Verlag 1980.
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.