摘要
其他人正在查看的类似内容
工具书类
Chuaqui,R.和Suppes,P.:微分学和积分学的方程演绎系统,见P.Martin-Lof和G.Mints(编辑), COLOG-88国际计算机逻辑会议记录(苏联塔林 )《施普林格·弗拉格》,柏林,1990年,第25-49页。 Chou,S.、Gao,X.和Zhang,J.: 几何中的机器证明:几何定理可读证明的自动生成 《世界科学》,新加坡,1994年。 天才青年教育计划(EPGY):定理证明环境概述, http://epgy.stanford.edu/TPE。 惠誉F.B.: 符号逻辑:导论 ,罗纳德出版社,纽约,1952年。 McCune,W.:OTTER 3.0参考手册和指南,技术报告ANL-94/6,阿贡国家实验室,1994年1月。 McCune,W.:MACE 2.0参考手册和指南,技术备忘录249,阿贡国家实验室,2001年5月。 McMath,D.、Rozenfeld,M.和Sommer,R.:编写普通数学证明的计算机环境,见R.Nieuwenhuis和A.Voronkov(编辑), 程序。 第八届国际程序设计、人工智能和推理逻辑会议 《人工智能2250讲义》,施普林格-弗拉格出版社,柏林,2001年。 拉瓦利亚,R.: 等式推导系统用户指南 m、 天才青年教育计划,加利福尼亚州帕洛阿尔托,1990年。 Ravaglia R.、Alper,T.M.、Rozenfeld,M.和Suppes,P.:符号计算的成功应用,见N.Kajler(编辑), 符号计算的人机交互 《施普林格·弗拉格出版社》,纽约,1998年,第61-87页。 Suppes,P.(编辑): 斯坦福大学计算机辅助教学:1968-1980 ,斯坦福大学社会科学数学研究所,加利福尼亚州斯坦福市,1981年。 Suppes,P.和Takahashi,S.:连续性的交互式微积分定理证明, J.符号计算。 7 (1989), 573–590. 维尔曼,D.: 如何证明:结构化方法 h、 剑桥大学出版社,坎布里奇,英国,1994年。
作者信息
作者和附属机构
权利和权限
关于本文
引用这篇文章
发布日期 : 内政部 : https://doi.org/10.1023/B:JARS.0000044825.55318.95