《automath.doc》查看内容详情
亲，网页上所展示的文章内容和下载文档内容是一致的，下载前请点击“查看内容详情”确认是否您所要下载的内容。
释义：[计] 自动数学程序； 英英释义： AutomathAutomath (automating mathematics) was a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify th
