×

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

质量管理清单

32篇文献引用(2007–2023)
软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉蒂奇
相关软件: QPL;奎珀;qGCL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…

重新CSP

1份文件引用(2020年)
软件作者: 卡洛斯·加林多;西田直树;乔塞普·席尔瓦(Josep Silva);萨尔瓦多塔马利特
相关软件: 考德;埃尔朗;格拉夫维兹
主要字段: 计算机科学(68-XX);量子理论(81-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段