ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
塔克 7份文件引用(2007–2012) 软件作者: 大卫·巴尔德(David Baelde);戴尔·米勒;斯诺,扎卡里 相关软件: 阿贝拉;贝德维尔;Twelf… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)