CC-Pi公司 在28份文件中引用(2007–2022) 软件作者: Maria Grazia Buscemi,乌戈·蒙塔纳里 相关软件: 奶牛;Isabelle/HOL;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
朱莉 8份文件引用(2009–2021) 软件作者: 伊凡·拉内斯;蒙泰西(Fabrizio Montesi);吉安路易吉·扎瓦塔罗 相关软件: 奶牛;SWORD;兽人… 主要字段: 计算机科学(68-XX)
即兴的 8份文件引用(2002–2011) 软件作者: 埃拉·格里希卡什维利;艾伦,M。;Taleb Bendiab,A。 相关软件: – 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);功能分析(46-XX)…
橙色4WS 引用于3份文件(2016–2019) 软件作者: V.Podpečan、M.Zemenova、N.Lavrać 相关软件: 橙色;威卡;生物2RDF… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
LPaaS公司 2份文件引用(2018–2022) 软件作者: 罗伯塔·卡莱加里;Enrico Denti;玛丽亚尼,斯特凡诺;安德里亚·奥米奇尼 相关软件: SWI-预测;TuCSoN;XSB… 主要字段: 计算机科学(68-XX)
服务 引用于3份文件(2021–2022) 软件作者: Lordan,F。;Tejedor,E。;埃扎克,J。;拉斐内尔,R。;Alvarez,J。;Marozzo,F。;Lezzi,D。;Sirvent,R。;塔里亚,D。;巴迪亚·R·M·。 相关软件: PyCOMPS;COMPS;额外… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
J拉伦斯 在0个文档中引用 软件作者: 迈克尔·托马斯(Michael Thomas)、康拉德·斯蒂恩伯格(Conrad Steenberg)、弗兰克·范林根(Frank van Lingen)、哈维·纽曼(Harvey Newman)、朱利安·邦恩(Julian Bunn)、阿尔沙德·阿里(Arshad Ali)、理查德·麦克拉奇(Richard McClautchy)、阿希克·安尤姆(Ashiq Anjum) 相关软件: 咯咯笑;变色龙;尼姆罗德/G 主要字段: –
InstQL软件 1份文件引用(2010) 软件作者: 卢克·霍普顿(Luke Hopton);欧文·克利夫(Owen Cliffe);玛丽娜·德沃斯;朱利安·帕吉特 相关软件: 斯莫德尔斯 主要字段: 计算机科学(68-XX)
JS-son公司 在0个文档中引用 软件作者: 蒂莫修斯·坎皮克(Timotheus Kampik)、胡安·卡洛斯·尼维斯(Juan Carlos Nieves) 相关软件: JAM;朱庇特;节点.js… 主要字段: –