×

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

引文 按字母顺序

Coq公司

1974年文献引用(1993–2024)
软件作者： 克利斯朵夫·德林格；Jean-François Dufourd
相关软件： Isabelle/HOL；伊莎贝尔；HOL…
主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…

乐高

116篇文献引用(1991–2023)
软件作者： 罗，Z.，波拉克，R。
相关软件： Coq；Nuprl；自动…
主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…

玛蒂塔

78篇文献引用（2007年至2024年）
软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西
相关软件： Coq；米扎尔；Isabelle/HOL…
主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…

加利纳

8份文件引用(1994–2018)
软件作者： 杰拉德·休特
相关软件： Coq；乐高；Mtac…
主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）

CoqMT公司

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

采购订单模板

6篇文献引用(2018–2022)
软件作者： 阿南德，阿比舍克；鲍利耶，西蒙；科恩、西里尔；索索、马蒂厄；尼古拉斯·塔巴鲁
相关软件： Coq；CertiCoq；OEuf…
主要字段： 计算机科学（68-XX）

CoqMTU公司

4份文件引用(2013–2020)
软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang）
相关软件： CoqMT；Coq；GitHub…
主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）

BCiC公司

1份文件引用(2005)
软件作者： 内森·怀特黑德；马丁·阿巴迪
相关软件： 粘合剂
主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段