人力资源 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)
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)