计算机怎样解几何题：谈谈自动推理.pdf
一本关于用计算机分析及解几何问题的书，书中有LISP程序算法。
下载地址
用户评论
张院士的书 很好 多谢楼主
有不少例子可以参考,目前正需要
谢了，正好需要！！
坦率的说，下载下来后还没看。
好老的资源呀！
好书，人工智能的入门读物