×

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

萨奇莫

92份文件引用(1988–2023)
软件作者: Manthey,R.,Bry,F。
相关软件: TPTP;水獭;SETHEO…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…

萨塔拉克

67篇文献引用(2010–2023)
软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒
相关软件: TPTP;Isabelle/HOL;LEO-II…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

精益CoP

引用于40篇文献(2001–2023)
软件作者: 延斯·奥顿
相关软件: 依兰CoP;TPTP;VAMPIRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

MaLeCoP公司

30篇文献引用(2011–2023)
软件作者: Josef Urban、JiříVyskočil、PetrŠtěpánek
相关软件: E定理证明器;马拉雷亚;Mizar…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

泽农

21篇文献引用(2007–2022)
软件作者: 理查德·博尼肯(Richard Bonichon);戴维·德拉哈耶(David Delahaye);Damien Doligez
相关软件: Coq;TPTP;dedukti…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

FEMaLeCoP公司

23篇文献引用(2015–2023)
软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班
相关软件: E定理证明器;MaLeCoP;精简CoP…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…

ModLeanTAP模式

19份文件引用(1998–2019)
软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔
相关软件: 精益TAP;Coq;MSPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TTM公司

18篇文献引用(2007–2023)
软件作者: J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas
相关软件: TRP++;拉比尼泽;Dafny…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

竖琴

15篇文献引用(1990–2020)
软件作者: Opacher,F。;苏恩,E
相关软件: SETHEO公司;TPTP;3TAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MetTeL公司

16篇文献引用(2011–2021)
软件作者: 蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;穆罕默德·科达达迪
相关软件: LoTREC公司;KL-ONE;Gen2sat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯巴达克斯

14篇文献引用(2010–2021)
软件作者: 丹尼尔·戈兹曼(Daniel Götzmann);马克·卡明斯基;格特·斯莫尔卡
相关软件: HTab;FaCT++;InKreSAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

E-KRHper公司

11份文件引用(2007–2021)
软件作者: 比约恩·佩尔泽;Christoph Wernhard公司
相关软件: E定理证明器;E-Darvin;萨奇莫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

3TAP公司

13份文件引用(1993–2019)
软件作者: 雷纳·Hähnle;贝恩哈德·贝克特;斯特凡·格伯丁;沃纳·科尼格
相关软件: SETHEO公司;HARP;TPTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

fCube(多维数据集)

10篇文献引用(2010–2022)
软件作者: 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺
相关软件: ILTP;Imogen;IntHistGC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

InKreSAT公司

9份文件引用(2013–2022)
软件作者: 马克·卡明斯基(Mark Kaminski);托比亚斯·特比
相关软件: 斯巴达克斯;BDDTab;FaCT++…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HyLoRes公司

7份文件引用(2002–2020)
软件作者: Areces,C。;J.Heguiabehere。
相关软件: 斯巴达克斯;HyLoTab;HTab…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

林塔普

7份文件引用(1999–2019)
软件作者: Mantel,H.,Otten,J。
相关软件: 校准仪;洛利;TPTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TATL公司

7份文件引用(2009–2017)
软件作者: 艾米莉·大卫
相关软件: CL校准仪;VAMPIRE公司;TRP++…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

西比尔

6篇文献引用(2010–2020)
软件作者: 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶
相关软件: 斯巴达克斯;HyLoTab;HTab…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CTL-RP公司

5份文件引用(2010–2021)
软件作者: 张澜;乌尔里希·赫斯塔特;克莱尔·狄克逊
相关软件: SPASS;TRP++;TeMP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Lotrec方案

4份文件引用(2011–2015)
软件作者: 弗朗索瓦·施瓦岑特鲁伯
相关软件: LoTREC公司;SCIFF;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TWB公司

3份文件引用(2009–2019)
软件作者: 彼得罗·阿巴特;拉杰夫·戈尔
相关软件: LoTREC公司;MSPASS;SableCC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

睫毛

引用于2份文件(2022)
软件作者: Brown,Chad E。;塞萨里·卡利西克
相关软件: 大锤;TPTP;VAMPIRE…
主要字段: 计算机科学(68-XX)

PITP项目

3份文件引用(2007–2008)
软件作者: 亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托
相关软件: ILTP;Nuprl公司;Coq公司
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

R-SATCHMO公司

引用于2份文件(2004–2005)
软件作者: 何立峰;赵玉燕;伊藤秀内里
相关软件: SATCHMOREBID;I-SATCHMO;萨奇莫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

艾伦TAP

引用于2份文件(2008–2021)
软件作者: Near,Joseph P。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。
相关软件: Freshml;精益TAP;卡伦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ArchSAT公司

1份文件引用(2020年)
软件作者: 纪尧姆·伯里
相关软件: 泽农;TPTP;dedukti…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CL校准仪

引用于2份文件(2014–2015)
软件作者: Nalon,Cláudia;张澜;克莱尔·狄克逊;乌尔里希·赫斯塔特
相关软件: TATL;VAMPIRE公司;TRP++…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

戈兰

1份文件引用(2022)
软件作者: 朱莉·凯勒;Johann Rosain;戴维·德拉哈耶(David Delahaye);西蒙·罗比拉德;布齐安·欣德·莉莉亚
相关软件: TPTP;睫毛;小猎犬…
主要字段: 计算机科学(68-XX)

GQML公司

引用于2份文件(2002–2007)
软件作者: 提昂,V。;塞里托,S。;玛尔塔·恰尔迪亚·梅耶
相关软件: TABLEAUX公司;吞咽;ModLeanTAP模式
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JTabWb公司

引用于2份文件(2017–2019)
软件作者: 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺
相关软件: Imogen;fCube;ILTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

KEMS公司

引用于2份文件(2009–2016)
软件作者: 阿道夫·内托;马塞洛·芬格
相关软件: MetTeL;Gen2sat;NESCOND…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

迷你标签

引用于2份文件(1994–1996)
软件作者: 斯文·洛伦茨
相关软件: HARP;THOT公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CSymLean公司

1份文件引用(2011年)
软件作者: 雷吉斯·阿伦达;尼古拉·奥利维蒂
相关软件: CSLLean公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

KRHyper公司

1份文件引用(2005)
软件作者: 亚历克斯·辛纳(Alex Sinner);托马斯·克莱曼
相关软件: TPTP;蛋白质;赛车手
主要字段: 计算机科学(68-XX)

联普翻译

在0个文档中引用
软件作者: 拉沙·阿布齐亚尼泽
相关软件: FraCaS公司;SICK公司
主要字段:

索菲亚

1份文件引用(2005)
软件作者: 格格利·科瓦什奈
相关软件:
主要字段: 计算机科学(68-XX)

TGC公司

1份文件引用(2010)
软件作者: 阮(Nguyen)
相关软件:
主要字段: 计算机科学(68-XX)

倾斜

1份文件引用(1991)
软件作者: 奥利弗·比特尔
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件