阿贝拉 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)
林肯 引用于2份文件(2017年至2021年) 软件作者: 艾娜·林·乔治斯(Aina Linn Georges);阿加塔·穆拉夫斯卡;奥蒂斯、肖恩;碧姬·品特卡 相关软件: github;阿格达;丁香… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PLINI公司 在0个文档中引用 软件作者: 阿尔巴内塞,马西米利亚诺;马蒂亚斯·布罗切勒;约翰·格兰特;Martinez,Maria Vanina;苏布拉马尼安,V.S。 相关软件: – 主要字段: –