×

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

阿贝拉

57篇文献引用(2008–2023)
软件作者: 安德鲁·加塞克
相关软件: Twelf;白鲸;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

数学网

16篇文献引用(2000年至2016年)
软件作者: 杰根·齐默;迈克尔·科尔哈斯
相关软件: TPTP;水獭;PVS…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);常微分方程(34-XX)…

液化天然气

7份文件引用(2011–2021)
软件作者: 艾德米尔,B.E.,魏里奇,S。
相关软件: 流行标志;Isabelle/HOL;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

自动变电站

6篇文献引用(2015–2023)
软件作者: S.Schäfer、T.Tebbi、G.Smolka
相关软件: Coq;流行标志;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

Cplus2ASP

5份文件引用(2011–2022)
软件作者: 约瑟夫·巴伯(Joseph Babb);Lee,Joohyng先生
相关软件: CCalc;f2lp;Coala…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

FOOL(足球)

4份文件引用(2015–2021)
软件作者: 科特利尼科夫(Kotelnikov),叶夫根尼(Evgenii);劳拉·科夫亚茨(Laura Kov'acs);安德烈·沃伦科夫
相关软件: TPTP;大锤;SMT-LIB…
主要字段: 计算机科学(68-XX)

NL认证

4份文件引用(2014–2017)
软件作者: 维克托·马格伦
相关软件: OCaml;Coq;索利娅…
主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…

林肯

引用于2份文件(2017年至2021年)
软件作者: 艾娜·林·乔治斯(Aina Linn Georges);阿加塔·穆拉夫斯卡;奥蒂斯、肖恩;碧姬·品特卡
相关软件: github;阿格达;丁香…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PLINI公司

在0个文档中引用
软件作者: 阿尔巴内塞,马西米利亚诺;马蒂亚斯·布罗切勒;约翰·格兰特;Martinez,Maria Vanina;苏布拉马尼安,V.S。
相关软件:
主要字段:

筛选结果依据…