×

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

引文 按字母顺序

SETHEO公司

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

巴黎

16篇文献引用(1990–2022)
软件作者： 舒曼，J.，莱茨，R。
相关软件： SETHEO公司；气象；TPTP…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

气象

12份文件引用（1990年至2004年）
软件作者： 黄芪；D.W.洛夫兰
相关软件： SETHEO公司；水獭；帕塞农…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

蛋白质

15篇文献引用(1994–2006)
软件作者： Baumgartner，P.，Furbach，美国。
相关软件： TPTP；SETHEO公司；水獭…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

帕塞农

6篇文献引用(1989–2004)
软件作者： Bose，Soumitra；埃德蒙·克拉克（Edmund M.Clarke）。；Long，David E。；斯皮罗·米查洛夫
相关软件： 气象；SETHEO公司；巴黎…
主要字段： 计算机科学（68-XX）

ILF-设置

2份文件引用（1997年）
软件作者： 安德烈亚斯·沃尔夫（Andreas Wolf）；约翰·舒曼
相关软件： SETHEO公司；E-SETHEO；HOL…
主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段