IF-2.0型 38篇文献引用(2002–2022) 软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔 相关软件: Uppaal;克罗诺斯;旋转… 主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o克林戈;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
MMT公司 13份文件引用(2007–2019) 软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加 相关软件: 莫德;K校准仪;JavaFAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
K-Maude公司 11份文件引用(2010–2021) 软件作者: ⑩erbénuţ\355 ;Ņé,Traian Florin;格里高·罗什乌 相关软件: 莫德;K校准仪;K工具… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KITTeL公司 10篇文献引用(2011–2022) 软件作者: 斯蒂芬·福克(Stephan Falke);卡普尔,迪帕克;卡斯滕·辛兹 相关软件: z3;控制;Yices… 主要字段: 计算机科学(68-XX)
JSAI公司 4份文件引用(2017–2022) 软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 相关软件: JavaScript;幻影;诺恩… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
距离-弧度 5份文件引用(2011–2015) 软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔 相关软件: 莫德;爪哇风扇;Java+ITP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: Isabelle/HOL;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
CSSim公司 4份文件引用(2007–2009) 软件作者: 菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。;杰里米·雅各布。 相关软件: 埃菲尔;独家新闻;TCOZ… 主要字段: 计算机科学(68-XX)
PLBART公司 在0个文档中引用 软件作者: Wasi Uddin Ahmad、Saikat Chakraborty、Baishaki Ray、Kai-Wei Chang 相关软件: CodeXGLUE;塔伯特;CoTexT… 主要字段: –
ProGraML软件 在0个文档中引用 软件作者: Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件: 亚当;XLA;TensorFlow… 主要字段: –