×

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

AProVE公司

171篇文献引用(2002–2023)
软件作者: Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann
相关软件: 蒂罗尔;多终端;莫德…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…

K校准仪

46篇文献引用(2007–2022)
软件作者: 罗什、格里戈尔等人
相关软件: 莫德;K工具;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

CeTA公司

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

MetTeL公司

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

保险箱

15篇文献引用(2006–2021)
软件作者: J·恩德鲁利斯
相关软件: AProVE;蒂罗尔;多终端…
主要字段: 数学逻辑与基础(03-XX);结合环与代数(16-XX);计算机科学(68-XX)

斯巴达克斯

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

名古屋终止工具

9份文件引用(2014–2022)
软件作者: 山田,A.,Kusakari,K.,Sakabe,T。
相关软件: 蒂罗尔;NaTT;AProVE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

液化石油气处理厂

6篇文献引用(1998–2016)
软件作者: Robert F.Stärk。
相关软件: AsmL;毫升;XSB…
主要字段: 计算机科学(68-XX)

IsaFoR公司

4份文件引用(2011–2016)
软件作者: 亚历山大·克劳斯;斯特纳格尔,克里斯蒂安;雷内·蒂曼;福斯、卡斯滕;吉尔根·吉斯尔
相关软件: Isabelle/HOL;CeTA;CoLoR…
主要字段: 计算机科学(68-XX)

NaTT公司

6篇文献引用(2014–2022)
软件作者: Akihisa山田
相关软件: 名古屋终端工具;蒂罗尔;多终端…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MFE公司

4份文件引用(2012–2023)
软件作者: 弗朗西斯科·杜兰;卡米洛·罗查;何塞·M·阿尔瓦雷斯。
相关软件: 莫德;ITP;P审计…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ConCon公司

4份文件引用(2015–2020)
软件作者: T.斯特纳格尔,C.斯特纳格尔
相关软件: Isabelle/HOL;AProVE;年龄…
主要字段: 计算机科学(68-XX)

二氧化碳

引用于2份文件(2018–2021)
软件作者: Nishida,N.、Kuroda,T.、Yanagisawa,M.、Gmeiner,K。
相关软件: 警察;CoCoWeb;MTT…
主要字段: 计算机科学(68-XX)

技能

引用于2份文件(1993–2000)
软件作者: Galmiche,D。;O.赫尔曼。
相关软件: 自动化;乐高;洛利…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

考拉

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

波廷

1份文件引用(2006)
软件作者: G.W.汉密尔顿。
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件