×

找到4个软件包(结果1-4)

MCMAS公司

86篇文献引用(2006–2023)
软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi)
相关软件: MCK;摩卡;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

TABLEAUX公司

20篇文献引用(1991–2022)
软件作者: 洛朗·卡塔赫
相关软件: 佩斯卡;月球;LoTREC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LDYIS公司

3份文件引用(2008–2011)
软件作者: 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克
相关软件: MCMAS-X;MCMAS;卡斯珀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

LP3验证

1份文件引用(2022)
软件作者: Kai Bavendiek;西比尔·舒普
相关软件: SpaceTwist;LocLok;MaPIR…
主要字段: 计算机科学(68-XX)

筛选结果依据…