×

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

引文 按字母顺序

NetKAT公司

33篇文献引用(2014–2023)
软件作者： Anderson，C.J.，Foster，N.，Guha，A.，Jeannin，J.-B.，Kozen，D.，Schlesinger，C.，Walker，D。
相关软件： 狂热；VeriFlow；食蚁兽…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；结合环与代数（16-XX）…

ARTCP公司

2份文件引用(2001–2002)
软件作者： Alekseev，Igor V。；瓦莱里·索科洛夫。
相关软件： –
主要字段： 计算机科学（68-XX）

HMAT公司

2份文件引用(2002)
软件作者： 瞿兆伟；Hong，Choong Seon；李成英
相关软件： MRSVP公司
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段