期刊书目 › BOOKS with Alphabet A (Aa, Ab,Ac, Ad, Ae…... ) › Titlebook: Automated Deduction in Geometry; Second International Xiao-Shan Gao,Dongming Wang,Lu Yang Conference proceedings 1999 Springer-Verlag Berli

LUDE 发表于 2025-3-30 09:38:51

http://reply.papertrans.cn/17/1663/166257/166257_51.png

柱廊 发表于 2025-3-30 13:21:59

http://reply.papertrans.cn/17/1663/166257/166257_52.png

查看完整版本: Titlebook: Automated Deduction in Geometry; Second International Xiao-Shan Gao,Dongming Wang,Lu Yang Conference proceedings 1999 Springer-Verlag Berli