×

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

数据日志

282份文件引用(1978–2022)
软件作者: Ceri,S.、Gottlob,G.、Tanca,L
相关软件: 亚萨特;格林戈;Clingo…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

NetCore公司

引用于2份文件(2013–2018)
软件作者: 克里斯托弗·孟山都;Nate Foster;罗伯·哈里森(Rob Harrison);大卫·沃克
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

VCGen公司

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

复合SAT

引用于2份文件(2018–2022)
软件作者: Porncharoenwase,索拉维;蒂姆·纳尔逊(Tim Nelson);克里希纳穆提,施莱姆
相关软件: MiniSat;科科德;梅斯4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

瑞典全瓷牙

1份文件引用(2020)
软件作者: Voellmy,A.、Kim,H.、Feamster,N。
相关软件: SGS;SDSNM;OpenFlowSIA…
主要字段: 计算机科学(68-XX)

SANDLog日志

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

RapidNet公司

1份文件引用(2015)
软件作者: 宾夕法尼亚大学
相关软件: VCGen;SANDLog;ProVerif…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…