×

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

引文 按字母顺序

Jinja线程

9份文件引用(2009–2020)
软件作者： A.洛赫比勒。
相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔…
主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…

结壳

3份文件引用（2020年至2022年）
软件作者： 托曼，J.，彭斯坦纳，S.，托拉克，E。
相关软件： 铁锈；蝰蛇；VCC…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段