Z 237篇文献引用(1958–2023) 软件作者: 吉姆·伍德科克;吉姆·戴维斯 相关软件: 马戏团;电源保护;罗丹… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
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)…
乐高 116篇文献引用(1991–2023) 软件作者: 罗,Z.,波拉克,R。 相关软件: Coq;Nuprl;自动… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
常春藤 21篇文献引用(2017–2023) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MUltlog公司 20篇文献引用(1996–2023) 软件作者: 格诺·萨尔泽;维也纳多值逻辑小组 相关软件: JGXYZ;VAMPIRE公司;MetTeL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KoMeT公司 13份文件引用(1996–2012) 软件作者: 例如,Uwe;托马斯·拉特 相关软件: SETHEO公司;TPTP;OTTER… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
LFLC 2000型 13份文件引用(2004–2022) 软件作者: 伊朗空军 相关软件: ETPS;果汁;模糊森林… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者: 多米尼克·帕斯特 相关软件: 水獭;自动化;伊莎贝尔/采埃孚… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
潘多拉星球 引用于9份文件(2007–2010) 软件作者: 克里西亚,布罗达;马洁菲;加布里埃尔·辛纳杜赖(Gabrielle Sinnadurai);亚历山大·萨默斯 相关软件: MySQL;伽利略 主要字段: 历史与传记(01-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
FlashMeta软件 6篇文献引用(2017–2021) 软件作者: 奥列克桑德·波洛佐夫;苏米特·古尔瓦尼 相关软件: FlashExtract;运输;FlashRelate… 主要字段: 计算机科学(68-XX)
FOL配件 7份文件引用(2014年-2023年) 软件作者: 斯特凡·贝尔霍弗;Andreas Halkjær来自 相关软件: 存档正式证据;Isabelle/HOL;完备性定理… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
断言 4份文件引用(1980–1994) 软件作者: Erickson,R.W。;D.R.穆瑟。 相关软件: RRL;泰克顿;NQTHM… 主要字段: 历史与传记(01-XX);组合数学(05-XX);通用代数系统(08-XX)…
普赛克 5份文件引用(2013–2020) 软件作者: 圣菲省格拉汉·伦格兰德 相关软件: 伊莎贝尔;直觉;ILTP… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
LogAnswer(日志应答) 2份文件引用(2008) 软件作者: 乌尔里希·富巴赫;格林纳,因戈;赫尔曼·赫尔比格;比约恩·佩尔泽 相关软件: E-KRHper;WordNet;Abella… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
Symlog公司 3份文件引用(1994–2019) 软件作者: 弗雷德里克·波托拉罗。 相关软件: 3TAP;思想者 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
绝对值 2份文件引用(1996–1997) 软件作者: 福斯托·金西格里亚(Fausto Giunchiglia);阿道夫·维拉菲奥里塔 相关软件: InKa;KIV;标记器… 主要字段: 计算机科学(68-XX)
尤奥迪洛斯 2份文件引用(1989–1998) 软件作者: Toshiro Minami;Hajime Sawamura;恭子筑屋 相关软件: HOL;伊莎贝尔 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ILF-设置 2份文件引用(1997) 软件作者: 安德烈亚斯·沃尔夫(Andreas Wolf);约翰·舒曼 相关软件: SETHEO公司;E-SETHEO;HOL… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
难以置信的打样机 2份文件引用(2016–2018) 软件作者: 约阿希姆·布雷特纳(Joachim Breitner);丹尼斯·洛纳 相关软件: Isabelle/HOL;github;格栅… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
校对作者 在0个文档中引用 软件作者: Oyvind Tafjord、Bhavana Dalvi Mishra、Peter Clark 相关软件: 变压器;规则制定者;BLEURT… 主要字段: 数学逻辑与基础(03-XX)
KEIM公司 1份文件引用(2005) 软件作者: Huang,X.、Kerber,M.、Kohlhase,M.,Melis,E.、Nesmith,D.、Richts,J.、Siekmann,J。 相关软件: 欧米茄;狮子座;MKRP公司 主要字段: 计算机科学(68-XX)