Wolfgang Bibel, R. Kowalski

5th Conference on Automated Deduction - 1980 - Springer Berlin Heidelberg 1980 - Lecture Notes in Computer Science .

9783540381402


Computer Science