×

找到4个软件包（结果1-4）

引文 按字母顺序

蒂罗尔

95篇文献引用(2005–2023)
软件作者： Nao Hirokawa；阿尔特·米德尔多普
相关软件： AProVE；多终端；哈斯克尔…
主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；结合环与代数（16-XX）…

托尔帕

9份文件引用(2004–2011)
软件作者： H.赞蒂玛。
相关软件： AProVE；火柴盒；CiME…
主要字段： 计算机科学（68-XX）

筑波

10篇文献引用(2003–2008)
软件作者： Nao Hirokawa；阿尔特·米德尔多普
相关软件： AProVE；CiME；CARIBOO…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

WANDA公司

1份文件引用(2019)
软件作者： 福斯，卡斯滕；辛西娅·科普
相关软件： 迷你卫星；AProVE；蒂罗尔
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段