期刊书目 › BOOKS with Numbers @ (#, %, 0, 1, 2, 345….. › Titlebook: 6th Conference on Automated Deduction; New York, USA, June D. W. Loveland Conference proceedings 1982 Springer-Verlag Berlin Heidelberg 19

affluent 发表于 2025-4-1 04:32:47

http://reply.papertrans.cn/11/1011/101057/101057_61.png

任意 发表于 2025-4-1 08:09:46

http://reply.papertrans.cn/11/1011/101057/101057_62.png

锡箔纸 发表于 2025-4-1 11:56:36

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/012/image/101057.jpg

查看完整版本: Titlebook: 6th Conference on Automated Deduction; New York, USA, June D. W. Loveland Conference proceedings 1982 Springer-Verlag Berlin Heidelberg 19