×

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

引文 按字母顺序

AProVE公司

171篇文献引用(2002–2023)
软件作者： Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann
相关软件： 蒂罗尔；多终端；莫德…
主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…

VMTL公司

引用于7份文件(2010–2017)
软件作者： Schernhammer，F。；格拉姆利希，B。
相关软件： AProVE；莫德；多终端…
主要字段： 计算机科学（68-XX）

WANDA公司

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

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段