威廉·麦库恩;帕德马纳班,R。 方程式逻辑和三次曲线的自动推导。 (英语) Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,第231页,54.00德国马克;öS 394.20;法语。48.00 (1996). 出版商描述:这本专著是一位研究泛代数和几何的数学家和一位研究自动演绎的计算机科学家合作的结果,他们成功地利用定理证明器Otter从数学中证明了一阶定理,并加强了他们的共同努力。数学家将从等式逻辑、泛代数和代数几何中发现许多新结果,并从自动演绎技术的最新能力概述中受益。计算机科学家将发现大量不同的定理和问题来源,这些定理和问题将有助于设计和评估自动化定理证明系统和策略。 引用于三评论引用于20文件 MSC公司: 03B35型 证明和逻辑操作的机械化 68吨15 定理证明(演绎、解析等)(MSC2010) 03-02 与数学逻辑和基础相关的研究展览(专著、调查文章) 68-02 与计算机科学有关的研究博览会(专著、调查文章) 03C05号机组 模型理论中的方程类、泛代数 08-04 与一般代数系统有关的问题的软件、源代码等 14-04 代数几何相关问题的软件、源代码等 2005年第14季度 代数曲线的计算方面 14小时45分 特殊代数曲线和低亏格曲线 关键词:定理证明者Otter;等式逻辑;泛代数;代数几何;MACE公司;有限模型作为反例;代数曲线上的代数;三次曲线;几何逻辑代数;半群;类格代数;自对偶基;牟芳线圈 软件:水獭 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan},等式逻辑和三次曲线的自动演绎。柏林:Springer-Verlag(1996;Zbl 0921.03011) 全文: 内政部