Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Automated Deduction, Les Arcs, France, July 8-11, 1980 /

57

Bibliographic Details
Main Authors: Conference on Automated Deduction, (5th : 1980 : Les Arcs), Bibel, W., 1938-, Kowalski, Robert
Format:
Published: Berlin : Springer-Verlag, 1980
Subjects:
Automatic theorem proving
Proof theory

Similar Items