摘要：肯尼斯在代数领域的工作及自动推理工具的应用
作者：Michael Kinyon
论文ID：1108.3658
分类：History and Overview
分类简称：math.HO
提交时间：2012-10-01
PDF 下载： 英文版 中文版pdf翻译中