新鲜ml 在48份文件中引用(2003–2021) 软件作者: Shinwell,M.R.、Pitts,A.M.、Gabbay,M。 相关软件: Coq;名义上的伊莎贝尔;Twelf… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
GF公司 30篇文献引用(1999–2021) 软件作者: 阿恩·兰塔 相关软件: Coq;米扎尔;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
cddiff(cddiff) 1份文件引用(2018) 软件作者: 沙哈尔·毛兹;简·奥利弗·林格特(Jan Oliver Ringert);伯恩哈德·伦普 相关软件: MiniSat;WhyLine公司;Kodkod… 主要字段: 计算机科学(68-XX)