MCMAS公司 86篇文献引用(2006–2023) 软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi) 相关软件: MCK;摩卡;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
LDYIS公司 3份文件引用(2008–2011) 软件作者: 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 相关软件: MCMAS-X;MCMAS;卡斯珀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)