D装货商 12份文件引用(2009–2023) 软件作者: 阿德里安·里斯科;阿尔贝托·维尔德乔(Alberto Verdejo);马丁·奥列特,纳西索;拉斐尔·卡巴列罗 相关软件: 莫德;阿尼玛;Web-TLR… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
jMocha公司 5份文件引用(2008–2023) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)