×

找到4个软件包(结果1-4)

VCGen公司

2份文件引用(2015–2023)
软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;卢文涛
相关软件: SANDLog;Coq;KeY…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BCL-3型

2份文件引用(2001–2003)
软件作者: 马杰;何,金;孟丹;李国杰
相关软件: ——
主要字段: 计算机科学(68-XX)

SANDLog日志

1份文件引用(2015)
软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau先生
相关软件: VCGen;Coq;RapidNet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MATF公司

1份文件引用(2020)
软件作者: M.S.Khan。;M.I.Khan。;苏联马利克。;Khalid,O。;阿齐姆,M。;北卡罗来纳州贾维德。
相关软件: SenetSHM公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

筛选结果依据…

主字段