(Lecture Notes in Computer Science 138) L. Wos (auth.), D. W. Loveland (eds.) - 6th Conference on Automated Deduction_ New York, USA, June 7–9, 1982-Springer Berlin Heidelberg (1982)

(Lecture Notes in Computer Science 138) L. Wos (auth.), D. W. Loveland (eds.) - 6th Conference on Automated Deduction_ New York, USA, June 7–9, 1982-Springer Berlin Heidelberg (1982).pdf

日期：2024/05/08点击：10