×

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

引文 按字母顺序

生物质量管理

1份文件引用(2022)
软件作者： A.纳尔迪。
相关软件： BoolNet；品脱；PyBoolNet…
主要字段： 有序，格，有序代数结构（06-XX）；生物学和其他自然科学（92-XX）

罗基百科

2份文件引用(2019–2022)
软件作者： Dowek，G.、Thiré，F。
相关软件： CoqHammer；Coq；EUCLID…
主要字段： 计算机科学（68-XX）

KEIM公司

1份文件引用（2005年）
软件作者： Huang，X.、Kerber，M.、Kohlhase，M.，Melis，E.、Nesmith，D.、Richts，J.、Siekmann，J。
相关软件： 欧米茄；利奥；MKRP公司
主要字段： 计算机科学（68-XX）

船舶

1份文件引用(2015)
软件作者： 谢尔盖·奥特西耶；迪特尔·赫特
相关软件： 颗粒；高尔夫
主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段