×

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

引文 按字母顺序

克莱纳代数

9份文件引用(2015–2022)
软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。
相关软件： 存档正式证据；Isabelle/HOL；大锤…
主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…

PLSMC公司

1份文件引用（2015年）
软件作者： 庞涛；段振华；刘晓芳
相关软件： CUDD；NuSMV公司
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段