罗塞塔 21篇文献引用(1998–2021) 软件作者: Øhrn,Aleksander;Komorowski,Jan;安德烈·斯科伦(Andrzej Skowron);彼得·西纳克 相关软件: UCI-ml;LERS;RSES… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
SOVA公司 1份文件引用(2017) 软件作者: N.Itzik、I.Reinhartz-Berger。 相关软件: VOWL;Speedith;Protege公司 主要字段: 计算机科学(68-XX)
ST-Lib型 1份文件引用(2019) 软件作者: J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件: S-TaLiRo公司 主要字段: 计算机科学(68-XX);系统理论;控制(93-XX)