大拱桥--暨南大学学生门户 » 珠海校区图书馆 » (分类号:TP181-49)(共1本)

计算机怎样解几何题-谈谈自动推理

0
索取号:TP181-49/1
作者:张景中、
出版社:广州:暨南大学出版社,2000