Automated deduction in classical and non-classical logics :Lecture notes in artificial intelligence:selected papers - Caferra, R. (Eds.)(et-al) (Springer: Tokyo, 2000)
Keywords: artificial intelligence