×

找到8个软件包(结果1-8)

VAMPIRE公司

307份文件引用(1985年-2023年)
软件作者: 亚历山大·里亚扎诺夫;安德烈·沃伦科夫
相关软件: TPTP;E定理证明;SPASS…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…

转向器

38篇文献引用(2010–2022)
软件作者: Robert Brummayer;阿明·比尔
相关软件: z3;SMT-LIB;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

MTT法

27篇文献引用(2008–2023)
软件作者: Durán,F.,Lucas,S.,Meseguer,J。
相关软件: 莫德;AProVE;OBJ3…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

CRC 3型

9份文件引用(2010–2020)
软件作者: 弗朗西斯科·杜兰;何塞·梅塞盖尔
相关软件: 莫德;MTT;第3章…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

蒙斯特尔

5份文件引用(1995–1998)
软件作者: 巴纳赫,R。
相关软件: DACTL公司
主要字段: 计算机科学(68-XX)

4份文件引用(2008–2017)
软件作者: 格雷戈里·杜克(Gregory J.Duck)。;Leslie De Konink;彼得·斯图基(Peter J.Stuckey)。
相关软件: 微量锌;Gecode公司;G12…
主要字段: 计算机科学(68-XX)

阔琪涅勒

引用于2份文件(2007–2008)
软件作者: 孔特让,E。
相关软件: CoLoR;Coq;IsaFoR…
主要字段: 计算机科学(68-XX)

达塔克

3份文件引用(1998–2010)
软件作者: 劳伦·维格纳龙
相关软件: RSBR_;ElemStatLearn;里奥纳…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件