×

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

引文 按字母顺序

单态单体

3份文件引用(2017–2022)
软件作者： 安德烈亚斯·洛赫比勒
相关软件： 吊装；转让；Isabelle/HOL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

泰康

2份文件引用(2012–2019)
软件作者： 布莱恩·霍夫曼
相关软件： 哈斯克尔；动物园概率系统；密度编译器…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段