×

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

莫德

646份文件引用(1984–2023)
软件作者: Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队
相关软件: OBJ咖啡馆;OBJ3;ELAN…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

吸血鬼

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

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe Ringeissen)、玛丽安·维特克(Marian Vittek)
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

巴氏合金

72份文件引用(1988–2013)
软件作者: 马里奥·罗德里格斯-阿塔莱霍
相关软件: 内核LEAF;玩具;咖喱…
主要字段: (68N17-XX);(68N15-XX);(68Q55-XX)

玩具

56篇文献引用(2001–2022)
软件作者: F.J.López Fraguas,J.Sánchez Hernández
相关软件: 巴贝尔;哈斯克尔;PAKCS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CeTA公司

49篇文献引用(2009–2023)
软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…

CiME公司

38篇文献引用(1997–2022)
软件作者: Évelyne Contejean、Claude Marché、Andrei Paskevich、Xavier Urbain
相关软件: AProVE;蒂罗尔;Coq…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);交换代数(13-XX)…

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈弗伦德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

爪哇风扇

在30份文件中引用(2004–2018)
软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌
相关软件: 莫德;K校准仪;MMT…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

D装货商

12份文件引用(2009–2023)
软件作者: 阿德里安·里斯科;阿尔贝托·维尔德乔(Alberto Verdejo);马丁·奥列特,纳西索;拉斐尔·卡巴列罗
相关软件: 莫德;阿尼玛;Web-TLR…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

毫米

13份文件引用(2007–2019)
软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加
相关软件: 莫德;K校准仪;JavaFAN…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

球状的

13份文件引用(2016–2022)
软件作者: Krzysztof Bar、Aleks Kissinger、Jamie Vicary
相关软件: 量子力学;github;opetopy…
主要字段: 结合环与代数(16-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…

帕戈达

12份文件引用(2007–2015)
软件作者: Wirsing,Martin;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔(Andy Poggio);Briesemeister琳达
相关软件: 莫德;科莱姆;重复…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

PRocH公司

12份文件引用(2013–2018)
软件作者: Cezary Kaliszyk;约瑟夫·乌尔班
相关软件: HOL灯;苍蝇斑点;E定理证明器…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

拉链位置

11份文件引用(2017年至2022年)
软件作者: 西蒙·克鲁恩斯
相关软件: E定理证明器;TPTP;沙达拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

红衣主教

10篇文献引用(2007–2020)
软件作者: 弗朗西斯科·阿泽夫多
相关软件: CPGraph;Z/EVES;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

时刻2

9份文件引用(2010–2016)
软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基
相关软件: 莫德;ITP/OCL;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LMN总计

8份文件引用(2005–2013)
软件作者: Kazunori上田
相关软件: GHC;贾纳斯;CC-Pi…
主要字段: (68N17-XX);(68N15-XX)

特克顿

5份文件引用(1994–2003)
软件作者: 卡普尔,D。;聂,X。;D.R.穆瑟。
相关软件: RRL;NQTHM;确认…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

Java+ITP

7份文件引用(2007–2013)
软件作者: Sasse,R.,Meseguer,J。
相关软件: 莫德;爪哇风扇;K校准仪…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

KOOL公司

7份文件引用(2009-2016年)
软件作者: Hills,M.,Rosu,G。
相关软件: K校准仪;莫德;K工具…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

出售

8份文件引用(2019–2022)
软件作者: 曼努埃尔·比克勒、迈克尔·莫拉克、斯特凡·沃尔特兰
相关软件: 克林戈;htd;eclingo…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

腹板-TLR

5份文件引用(2011–2016)
软件作者: 马利亚阿尔普特;黛米斯·巴利斯;哈维尔·埃斯佩特;丹尼尔·罗梅罗
相关软件: 莫德;iJulienne;动画…
主要字段: (68Q60-XX)

CS Prolog公司

7份文件引用(1988–2002)
软件作者: 河村俊雄;大和田,Hayato;Fumio沟口
相关软件: Prolog;CiaoPP;再见…
主要字段: 计算机科学(68-XX)

霍恩洛格

6篇文献引用(1987–1993)
软件作者: 让·盖利埃(Jean H.Gallier)。;斯坦·拉茨
相关软件: 勒图尔
主要字段: (68T15-XX);(68Q60-XX)

艾朱利安

5份文件引用(2014年至2020年)
软件作者: 马利亚阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜
相关软件: 莫德;Web-TLR;动画…
主要字段: (68个-XX)

阿尼玛

5份文件引用(2014–2023)
软件作者: 马利亚阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜
相关软件: 莫德;Web-TLR;D沸腾器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

距离-弧度

5份文件引用(2011–2015)
软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔
相关软件: 莫德;爪哇风扇;Java+ITP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

IsaFoL公司

5份文件引用(2016–2018)
软件作者: Branchette,J.C.、Fleury,M.、Schlichtkrull,A.、Traytel,D。
相关软件: Isabelle/HOL;存档正式证据;versat…
主要字段:

皮尔洛

4份文件引用(2014–2022)
软件作者: Lenz Belzner;德尼古拉(De Nicola)、罗科(Rocco);安德里亚·万丁;马丁·威尔辛
相关软件: MultiVeStA;SCEL;莫德…
主要字段: 统计学(62-XX);计算机科学(68-XX)

SAFKASI公司

引用于3份文件(2005–2015)
软件作者: D.S.Wallach、A.W.Appel、E.W.Felten
相关软件: 棱镜;JFlow;活页夹…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HI毛德

1份文件引用(2015)
软件作者: 穆罕默德·法德利西亚(Muhammad Fadlisyah);彼得·塞巴·奥维茨基
相关软件: 莫德;莫德-NPA;P审计…
主要字段: 历史与传记(01-XX);计算机科学(68-XX)

RDL公司

4份文件引用(2001年-2005年)
软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯
相关软件: NQTHM;ACL2;剑桥LCF…
主要字段: 计算机科学(68-XX)

达塔克

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

KBCV公司

引用于3份文件(2011–2015)
软件作者: 托马斯·斯特纳格尔(Thomas Sternagel);哈拉尔德·赞克
相关软件: mkbTT;CeTA;斯洛思罗普…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Petri-PDL公司

引用于3份文件(2016–2018)
软件作者: 克里斯蒂亚诺·布拉加;布鲁诺·洛佩斯
相关软件: 莫德
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

修订SCA

引用于3份文件(2020–2021)
软件作者: Mahzoon,A.、Große,D.、Drechsler,R。
相关软件: PolyCleaner;GenMul;multgen…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

经验证的校准仪

引用于3份文件(2009–2018)
软件作者: 汤姆·里奇
相关软件: 存档正式证据;Isabelle/HOL;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CBabel公司

2份文件引用(2005–2009)
软件作者: 亚历山大·雷德梅克;克里斯蒂亚诺·布拉加;亚历山大·斯塔金伯格
相关软件: 莫德;GraphML;SLMC…
主要字段: 计算机科学(68-XX)

DyNetiKAT公司

2份文件引用(2022)
软件作者: 乔治亚娜·卡尔泰斯;霍贾特,侯赛因;穆萨维、穆罕默德·雷扎;Tunç,Hünkar坎
相关软件: NetKAT;莫德;p4v…
主要字段: 计算机科学(68-XX)

尤奥迪洛斯

2份文件引用(1989–1998)
软件作者: Toshiro Minami;Hajime Sawamura;恭子筑屋
相关软件: HOL;伊莎贝尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

费利克斯

2份文件引用(2009–2010)
软件作者: Morra,C.、J.Becker、M.Ayala-Rincón、R.W.Hartenstein
相关软件: CoLoR;RRL;SAEPTUM…
主要字段:

SAEPTUM公司

2份文件引用(2009–2010)
软件作者: 毛里西奥·阿亚拉·林科;托马斯·圣安娜
相关软件: CoLoR;RRL;FELIX…
主要字段: 计算机科学(68-XX)

联合通讯社

2份文件引用(1990年至2001年)
软件作者: 格拉姆利希,B
相关软件: 斯派克;RRL;扩展器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

考拉

1份文件引用(2023)
软件作者: 博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);莎拉·温克勒
相关软件: 常春藤;常春藤;iProver…
主要字段: (68V15-XX)

林_inf

1份文件引用(2021)
软件作者: 阿努帕姆·达斯,亚历克斯·赖斯
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

lp2规范2

1份文件引用(2014)
软件作者: J.Bomanson、M.Gebser、T.Janhunen
相关软件: LP2ACYC;葡萄糖;lp2正常…
主要字段: 计算机科学(68-XX)

宠物老板

1份文件引用(2018)
软件作者: 余存溪;亚辛,阿蒂夫;苏天凯;阿兰·米什琴科(Alan Mishchenko);马西耶·西塞尔斯基
相关软件: ABC;稳定;单一
主要字段: 计算机科学(68-XX)

反应

在0个文档中引用
软件作者: 脸书公司。;丹·阿布拉莫夫;布莱恩·沃恩(Brian Vaughn);等。
相关软件: 巴别塔;鳞茎;Sass…
主要字段:

筛选结果依据…

全部的 前5名

相关软件