×

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

迷你ML

55份文件引用(2000–2023)
软件作者: 罗文·戴维斯(Rowan Davies);弗兰克·芬宁
相关软件: Coq;毫升;佩斯卡…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

月亮

5份文件引用(2020–2023)
软件作者: 玛丽安娜·吉兰多;卢茨斯特拉汉堡
相关软件: NESCOND;TABLEAUX公司;tuCLEVER…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

主字段