题名:	计算机怎样解几何题：谈谈自动推理 / 张景中著 ,
ISBN:	7-81029-930-1 价格：
中图分类法:	TP181-49 版次：
索书号:	TP181-49/1265