典型信息模型相关硕士博士期刊学术论文

1970年代,吴文俊继承与发展中国传统数学机械化思想与方法,致力于数学与人工智能交叉研究,其几何定理机械证明研究成果被公认为世......