Automated deduction : proceedings - Loveland D W; Conference on Automated Deduction( 6th : 1982 : N Y ); Conference on Automated Deduction 6th N Y, 1982 (Berlin Springer Verlag, 1982)
Keywords: Autometed deduction; Computer science