00818oam 2200265z- 450 99646576220331620190425180707.0(CKB)1000000000230036(EXLCZ)99100000000023003620190107c1980uuuu -u- -eng5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980Springer Berlin Heidelberg19801 online resource3-540-10009-1 MathematicsMathematical logicMathematics.Mathematical logic.Bibel Wolfgang52148Kowalski Robert48350BOOK9964657622033165th Conference on Automated Deduction Les Arcs, France, July 8-11, 19802830686UNISA