×

找到2个软件包（结果1-2）

引文 按字母顺序

CoqMT公司

7份文件引用(2010–2020)
软件作者： Pierre-Yves支柱
相关软件： Coq；CoqMTU；dedukti…
主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…

中性色

4份文件引用(2001–2011)
软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；杰罗姆·沃伊隆
相关软件： 活力；Coq公司
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段