×

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

引文 按字母顺序

克莱纳代数

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

SDN-安全检查

1份文件引用(2021)
软件作者： 康斯坦茨大学
相关软件： NetKAT；AProVE；Nettle…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段