×

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文件

按年份列出的引文