纳米CoP swMATH编号： 21547 软件作者： J.奥顿。 描述： nanoCoP：非子句连接证明程序。nanoCoP是经典一阶逻辑的一个紧凑的非子句自动定理证明器。它基于经典逻辑的非子句连接演算。有关微积分的更多详细信息可以在文档中找到。nanoCoP的特点：经典一阶等式逻辑的定理证明器。基于非子句连接演算。对原始公式结构进行证明搜索。在Prolog中实现。健全完整。命题逻辑的决策过程。表现强劲。简单的一阶表单输入格式（leanCoP或TPTP）。输出紧凑的非子句连接证明。根据GNU通用公共许可证提供。 主页： http://www.leancop.de/nancop/ 相关软件： 第三方交易协议;精益CoP;MleanCoP公司;伊朗CoP;FEMaLeCoP公司;E定理证明器;HOL灯;VAMPIRE公司;精益TAP;萨塔拉克;随机CoP;GAPT公司;ILTP公司;伊莎贝尔;谜;深度数学;马拉雷亚;马什;MaLeCoP公司;MPTP程序 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 nanoCoP：非子句连接证明程序。 Zbl 1475.68445号延斯·奥滕 2016 全部的 前5名被10位作者引用 三 迈克尔·Färber 三 塞萨里·卡利西克 2 简斯·奥滕 2 迈克尔·劳森 2 贾尔斯·里格尔 2 杰夫·萨特克利夫 2 约瑟夫·乌尔班 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 托拜厄斯·斯科尔 1 亚历山大·斯蒂恩 2篇连载文章中引用 1 自动推理杂志 1 人工智能通信 在2个字段中引用 9 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文