×

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

引文 按字母顺序

SETHEO公司

118篇文献引用(1990–2022)
软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。
相关软件： TPTP；水獭；SPASS…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…

林塔普

7份文件引用(1999–2019)
软件作者： Mantel，H.，Otten，J。
相关软件： 校准仪；洛利；TPTP…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段