×

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

西洋陆军棋

77份文件引用(2001–2022)
软件作者: 埃尔科·维瑟
相关软件: 莫德;汤姆;埃兰…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

新鲜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)…

科梅塔

3份文件引用(2006–2010)
软件作者: Triskell团队
相关软件: UML2合金;AGG;AToM3…
主要字段: 计算机科学(68-XX)

cddiff(cddiff)

1份文件引用(2018)
软件作者: 沙哈尔·毛兹;简·奥利弗·林格特(Jan Oliver Ringert);伯恩哈德·伦普
相关软件: MiniSat;WhyLine公司;Kodkod…
主要字段: 计算机科学(68-XX)

碎片

引用于2份文件(2004年至2006年)
软件作者: Zdun U公司。
相关软件: AspectS;CLOS;REXX…
主要字段: 计算机科学(68-XX)

我的模式

1份文件引用(2012)
软件作者: N.沃兰斯基
相关软件: 垫;Camlp4;JavaScript脚本
主要字段: 计算机科学(68-XX)

PSOA规则ML API

在0个文档中引用
软件作者: 穆罕默德·萨德南(Mohammad Sadnan);亚历山大·里亚扎诺夫;哈罗德·博利;克里斯托弗·贝克。
相关软件:
主要字段:

切片

1份文件引用(2008)
软件作者: 丹尼尔·瓦瑟拉布
相关软件: 伊莎贝尔/伊萨尔;Isabelle/HOL;伊莎贝尔
主要字段: 计算机科学(68-XX)

筛选结果依据…