×

找到8个软件包(结果1-8)

人力资源

27篇文献引用(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

SEPIA公司

引用于9份文件(2015–2023)
软件作者: Gransden,T.、Walkinshaw,N.、Raman,R。
相关软件: E定理证明器;FEMaLeCoP;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MGTP公司

6篇文献引用(1995–2013)
软件作者: 长谷川龙子;藤田,广岛;宫崎骏小村;Shirai、Yasuyuki
相关软件: 萨奇莫;TPTP;MiniSat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

I-SATCHMO公司

5份文件引用(2001–2009)
软件作者: 何立峰
相关软件: 萨奇莫;SATCHMOREBID;TPTP…
主要字段: 计算机科学(68-XX)

ModGen公司

6篇文献引用(1996–2019)
软件作者: Kim S.、Zhang H。
相关软件: 梅斯4;猎鹰;萨奇莫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

GLINTS公司

4份文件引用(2019年-2023年)
软件作者: 玛丽亚·阿尔普特(María Alpunte)、安吉尔·昆卡-奥尔加(Angel Cuenca-Ortega)、圣地亚哥·埃斯科瓦尔(Santiago Escobar)、朱莉娅·萨皮尼亚(Julia Sapiña)
相关软件: 莫德;ABETS;MTT…
主要字段: 一般代数系统(08-XX);计算机科学(68-XX)

R-SATCHMO公司

2份文件引用(2004–2005)
软件作者: 何立峰;赵玉燕;伊藤秀内里
相关软件: SATCHMOREBID;I-SATCHMO;萨奇莫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SPASS-AR公司

1份文件引用(2020年)
软件作者: 安德烈亚斯·提克;克里斯托夫·韦登巴赫
相关软件: 阿凡达;雅高;iProver…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段