CiaoPP公司 51篇文献引用(1999–2022) 软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件: Ciao;SICStus公司;汞… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DyC公司 11份文件引用(2000–2010) 软件作者: Grant,B.、Mock,M.、Philipose,M.,Chambers,C.、Eggers,S.J。 相关软件: VCODE;记忆法;BCEL… 主要字段: 计算机科学(68-XX)
LMS公司 5份文件引用(2010–2022) 软件作者: 蒂亚克·隆普夫(Tiark Rompf),马丁·奥德斯基(Martin Odersky) 相关软件: 科卡;博客;TMB… 主要字段: 计算机科学(68-XX)
美国汽车制造商协会 3份文件引用(2018–2020) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;朱莉娅·萨皮娜 相关软件: 莫德;ABETS;Liquid Haskell… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)
SIMP公司 2份文件引用(2013–2019) 软件作者: De Angelis,Emanuele;费奥拉万蒂(Fabio Fioravanti);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 相关软件: LOGEN公司;PPL;HSF… 主要字段: 计算机科学(68-XX)
QuaSiMo公司 在0个文档中引用 软件作者: Thien Nguyen、Lindsay Bassman、Phillip C.Lotshaw、Dmitry Lyakh、Alexander McCaskey、Vicente Leyton Ortega、Raphael Pooser、Wael Elwasif、Travis S.Humble、Wibe A.de Jong 相关软件: SciPy;开放费米子;QCOR… 主要字段: –