×

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

ETPS公司

162篇文献引用(1986–2022)
软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei
相关软件: TPS;Isabelle/HOL;HOL…
主要字段:

低成本融资

163篇文献引用(1972–2023)
软件作者: 罗宾·米尔纳
相关软件: 毫升;Coq;HOL…
主要字段:

测试程序集

78篇文献引用(1990–2022)
软件作者: Andrews,Peter B。;Brown,Chad E。
相关软件: TPTP;ETPS;HOL…
主要字段: (68T15-XX)

萨塔拉克

67篇文献引用(2010–2023)
软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒
相关软件: TPTP;Isabelle/HOL;LEO-II…
主要字段: (03B35-XX);(03B15-XX);(03E25-XX)…

IMPS公司

52篇文献引用(1990–2021)
软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔
相关软件: 伊莎贝尔;Nuprl公司;Coq…
主要字段: (68T15-XX)

狮子座III

21篇文献引用(2015–2023)
软件作者: 亚历山大·斯蒂恩(Alexander Steen);马克斯·维斯涅夫斯基(Max Wisniewski);克里斯托夫·本兹穆勒
相关软件: 沙达拉;TPTP;Isabelle/HOL…
主要字段: (65年XX月XX日);(68T15-XX);(68U35-XX)…

开放理论

19份文件引用(2012–2023)
软件作者: J·赫德。
相关软件: HOL灯;HOL;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

气象

12份文件引用(1990–2004)
软件作者: 黄芪;D.W.洛夫兰
相关软件: SETHEO公司;水獭;帕塞农…
主要字段:

雅典娜

10篇文献引用(2004–2017)
软件作者: 康斯坦丁·阿库达斯
相关软件: 雅典娜;HE-E1GODF;卡斯特罗…
主要字段:

HOList公司

10篇文献引用(2020–2023)
软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯
相关软件: 谜;E定理证明器;GitHub…
主要字段:

平行

引用于9份文件(1997–2014)
软件作者: 大卫·冯·奥海姆,托马斯·格里茨纳
相关软件: 拉尔夫;Isabelle/HOL;ARA…
主要字段:

RGITL公司

8份文件引用(2014–2022)
软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang
相关软件: 自旋蛋白;基夫;Dafny…
主要字段: (68Q60-XX);(03B44-XX);(68T15-XX)…

嵌入模式

7份文件引用(2017–2022)
软件作者: Gleißner,托拜厄斯;亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒
相关软件: Isabelle/HOL;尼特皮克;E定理证明器…
主要字段: (68T15-XX);(03B35-XX);(03B45-XX)

LogiKEy公司

5份文件引用(2020–2022)
软件作者: Christoph Benzmüller、Xavier Parent、Leendert van der Torre
相关软件: Isabelle/HOL;Nitpick公司;存档正式证据…
主要字段:

UTP2型

5份文件引用(2010–2019)
软件作者: 安德鲁·布特菲尔德
相关软件: 硫苷;Isabelle/HOL;Isabelle/UTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

全息照相术

4份文件引用(2017–2023)
软件作者: 丹尼尔·威伦
相关软件: E定理证明器;亚当;TensorFlow…
主要字段:

潜水艇

3份文件引用(2006–2012)
软件作者: 乍得·E·布朗。
相关软件: Twelf公司;马蒂塔;NetSketch…
主要字段:

TS公司#

2份文件引用(2014–2017)
软件作者: 尼基尔·斯瓦米;Fornet,塞德里克;拉斯托吉(Aseem Rastogi);Bhargavan,Karthikeyan;陈娟;支柱,Pierre-Yves;加文·比尔曼
相关软件: JavaScript;ProVerify;网址(Ur/Web)…
主要字段: (68N15-XX);(68N18-XX);(68N20-XX)…

霍尔88

2份文件引用(1999–2001)
软件作者: 理论博物馆
相关软件: HOL;PVS公司
主要字段:

HolPy公司

2份文件引用(2021–2024)
软件作者: 徐润清;李黎明;詹伯华
相关软件: 杆;CBench;GRKLib…
主要字段: (03B35-XX);(68V15-XX)

Nuprl-Light公司

1份文件引用(1997)
软件作者: 杰森·希基。
相关软件: 剑桥LCF;Nuprl公司;伊莎贝尔
主要字段: (68V15-XX);(03B16-XX);(68V20-XX)

卡箍3

在0个文档中引用
软件作者: 理论博物馆
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

主字段