×

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

Coq公司

1964年文献引用(1993–2024)
软件作者: 克利斯朵夫·德林格;Jean-François Dufourd
相关软件: Isabelle/HOL;伊莎贝尔;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

KeY-C公司

5份文件引用(2009–2023)
软件作者: 穆尔克,奥列格;丹尼尔·拉尔森(Daniel Larsson);雷纳·哈内尔
相关软件: Isabelle/HOL;Why3;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

简洁

5份文件引用(2004–2010)
软件作者: 尼尔森,弗莱明;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨(Mikael Buchholtz);Hansen、Rene Rydhof;亨利克·皮利加德(Henrik Pilegaard);赫尔穆特·塞德尔
相关软件: 琳达;科莱姆;政治公众人物协议…
主要字段: (68N30-XX);(68T15-XX)

CoqJVM公司

4份文件引用(2008年至2021年)
软件作者: Coq开发团队、CNRS、INRIA和南巴黎大学
相关软件: Isabelle/HOL;HOL;TSL…
主要字段: 计算机科学(68-XX)

ProMoVer公司

4份文件引用(2011–2016)
软件作者: Siavash Soleimanifard;古罗夫,帝力;马里克,Huisman
相关软件: MAVEN公司;DeltaCCS;MSTA…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

JCCM公司

1份文件引用(2001年)
软件作者: 坎波,塞莱斯特;三月{i} n个,安德烈;Garc公司{i} 一个阿图罗;D’{i} 阿兹伊格纳西奥;彼得·T·布鲁尔(Peter T.Breuer)。;卡洛斯·德尔加多;加尔克'{i} 一个,卡洛斯
相关软件:
主要字段: (68U99-XX);(68P25-XX)

JCML公司

2份文件引用(2009–2012)
软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。
相关软件: 回路;Z;JML…
主要字段: (68N15-XX);(68N30-XX)

CardKt卡

1份文件引用(2001年)
软件作者: 拉杰夫·戈尔;兰杜阮(Lan Duy Nguyen)
相关软件: KtSeqC公司
主要字段: 计算机科学(68-XX)

卡片4

1份文件引用(2001年)
软件作者: 拉杰夫·普拉巴卡尔(Rajeev Prabhakar Goré);普昂TháNguyán
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…