×

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

引文 按字母顺序

LoTREC公司

29篇文献引用(2001–2023)
软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德
相关软件： PVS；SPASS；E定理证明…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…

MleanCoP公司

14篇文献引用(2014–2023)
软件作者： 延斯·奥滕
相关软件： TPTP；QMLTP；E定理证明…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）

VPM公司

4份文件引用(2005–2007)
软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza）
相关软件： VIATRA2；进度；AGG…
主要字段： 计算机科学（68-XX）

ACTLW公司

6篇文献引用(2008–2016)
软件作者： ——
相关软件： 自旋蛋白；奶牛；mCRL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

Petri-PDL公司

3份文件引用(2016–2018)
软件作者： 克里斯蒂亚诺·布拉加；布鲁诺·洛佩斯
相关软件： 莫德
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

FRP现在

1份文件引用(2015)
软件作者： 阿特·范德普洛格；科恩·克莱森
相关软件： 反应性香蕉；酯类；LUSTRE…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段