2月2日 swMATH ID: 6964 软件作者: 约瑟夫·戈根 描述: 2OBJ是一个“元逻辑框架定理证明器”,也就是说,它是一个可以被裁剪来证明任何所需逻辑系统中的定理的系统,也可以证明该系统中有关证明的定理。 主页: http://cseweb.ucsd.edu/~goguen/sys/2obj.html 关键词: 定理证明器 相关软件: OBJ3型;莫德;西洋陆军棋;OBJ咖啡馆;精灵;落叶松;MMT公司;重新规范;AProVE公司;KOOL公司;Java+ITP;K校准仪;SymPLFIED公司;vlogsl语言;莫德-NPA;NRL公司;加勒比;距离-弧度;时刻2;多终端 引用于: 8文件 全部的 前5名12位作者引用 2 拉兹万·迪亚科内斯库 2 约瑟夫·阿马迪·戈根 2 马丁·奥列特,纳西索 2 何塞·梅塞盖尔·瓜伊塔 1 胡安·阿尔卡德 1 奥雷里奥·阿雷纳斯 1 约阿昆·尼科拉斯 1 米盖尔·帕洛米诺 1 奥古斯托·桑帕约。 1 维多利亚州斯塔夫里杜 1 安布罗西奥·托瓦尔 1 阿尔贝托·维尔德乔 全部的 前5名6篇连载文章中引用 1 算法杂志 1 控制论与系统 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 AMAST计算系列 在5个字段中引用 7 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文