×

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

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)

拦污栅

20篇文献引用(2000–2020)
软件作者: 梅耶,A。
相关软件: TPTP;VAMPIRE公司;HOL…
主要字段: 数学逻辑与基础(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)…

mizar-items公司

5份文件引用(2011–2022)
软件作者: 杰西·阿拉玛
相关软件: 米扎尔;MML;MPTP 0.2…
主要字段: 计算机科学(68-XX)

普赛克

5份文件引用(2013–2020)
软件作者: 圣菲省格拉汉·伦格兰德
相关软件: 伊莎贝尔;直觉;ILTP…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

谚语

4份文件引用(1996–2001)
软件作者: 黄晓荣;阿明·菲德勒
相关软件: 欧米茄-MKRP;水獭;欧米茄…
主要字段: 数学逻辑与基础(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)

ANDP公司

2份文件引用(1997–2023)
软件作者: 李大法;贾培发
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(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)

倾斜

1份文件引用(1991)
软件作者: 奥利弗·比特尔
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件