×

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

NQTHM公司

149份文件引用(1979–2022)
软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔
相关软件: HOL;ACL2;PVS…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

水银

75篇文献引用(1994–2022)
软件作者: mercurylang.org网站
相关软件: 哈斯克尔;幼儿保育和教育;咖喱…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

巴贝尔

72份文件引用(1988–2013)
软件作者: 马里奥·罗德里格斯-阿塔莱霍
相关软件: 核叶;玩具;咖喱…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

Ciao公司

56篇文献引用(1999–2022)
软件作者: Bueno,F.,Cabeza,D.,Carro,M.,Hermenegildo,M.、López-García,P.、Puebla,G。
相关软件: CiaoPP公司;SICStus公司;汞…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

咖喱

42篇文献引用(1998–2022)
软件作者: M.Hanus、H.Kuchen、J.J.Moreno Navarro
相关软件: 哈斯克尔;PAKCS;KiCS2…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

GHC公司

36篇文献引用(1986–2014)
软件作者: Kazunori上田
相关软件: PARLOG;基马;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

质量管理清单

32篇文献引用(2007–2023)
软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉蒂奇
相关软件: QPL;奎珀;qGCL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…

HasCasl公司

17篇文献引用(2002–2015)
软件作者: Lutz Schr“oder;Till Mossakowski
相关软件: CASL;哈斯克尔;赫茨…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

丁香花

16篇文献引用(1993–2022)
软件作者: 伊恩·麦基
相关软件: 施舍;FreeST;GitHub…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

轻松检查

10篇文献引用(2009年至2020年)
软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔
相关软件: 快速检查;咖喱;SmallCheck…
主要字段: 计算机科学(68-XX)

工厂

11份文件引用(2011–2020)
软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格
相关软件: 教会;IBAL;ProbLog…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

雅典娜

10篇文献引用(2004–2017)
软件作者: 康斯坦丁·阿库达斯
相关软件: 雅典娜;HE-E1GODF;卡斯特罗…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

隐秘HOL

9份文件引用(2017–2022)
软件作者: Basin,D.,Lochbihler,A.,Sefidgar,S.R。
相关软件: Isabelle/HOL;存档正式证据;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

卡伦

7份文件引用(2008–2022)
软件作者: Daniel P.Friedman、William E.Byrd、Oleg Kiselyov
相关软件: miniKanren;自动化;AIspace…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

ALE公司

3份文件引用(1992–2005)
软件作者: 卡彭特,B.,G.Penn
相关软件: 语法矩阵;斯里兰卡银行
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CFLP公司

5份文件引用(2001–2007)
软件作者: Marin,M.,Ida,T.,Schreiner,W。
相关软件: SICStus公司;Mathematica;抄送(FD)…
主要字段: 复变量函数(30-XX);差分方程和函数方程(39-XX);计算机科学(68-XX)

距离-弧度

5份文件引用(2011–2015)
软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔
相关软件: 莫德;爪哇风扇;Java+ITP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

棒棒糖

5份文件引用(2010–2016)
软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇
相关软件: VeriML;雷卡姆;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

PFLP公司

3份文件引用(2020–2022)
软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen)
相关软件: 教会;EasyCheck;瑞士…
主要字段: 计算机科学(68-XX)

PrologCheck(序言检查)

3份文件引用(2014年至2022年)
软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔
相关软件: K校准仪;K工具;快速检查…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

XTL公司

4份文件引用(2003–2017)
软件作者: Garavel,H.、Mateescu,R。
相关软件: CADP;LNT2LOTOS公司;Exp.打开…
主要字段: 计算机科学(68-XX)

对象库里

3份文件引用(1994–2013)
软件作者: 迈克尔·哈努斯(Michael Hanus);哈奇,弗兰克;菲利普·尼德劳
相关软件: 奥兹;巴贝尔;PAKCS…
主要字段: 计算机科学(68-XX)

VeriStar公司

3份文件引用(2012–2016)
软件作者: 戈登·斯图尔特;Lennart Beringer;安德鲁·W·阿佩尔。
相关软件: Coq;jStar;小脚…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

数据娱乐

引用于2份文件(2016–2022)
软件作者: 迈克尔·阿恩特泽尼乌斯(Michael Arntzenius);尼拉坎坦·R·克里希纳斯瓦米。
相关软件: 汞;哈斯克尔;夏普…
主要字段: 计算机科学(68-XX)

挪威船级社

引用于2份文件(2012–2021)
软件作者: 罗伯特·布里德(Robert Brijder);Joris J.M.Gillis。;Van den Bussche,简
相关软件:
主要字段: 计算机科学(68-XX)

尾声

引用于2份文件(1990–2020)
软件作者: A.波尔图。
相关软件: EpilogJS;JavaScript脚本
主要字段: 计算机科学(68-XX)

拟Borel空间

引用于2份文件(2017–2022)
软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato
相关软件: 教会;HOL;精益…
主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

YATL公司

引用于2份文件(2003–2004)
软件作者: Cluet,S.、Siméon,J。
相关软件: OCaml;X产品;哈斯克尔…
主要字段: 计算机科学(68-XX)

阿尔戈

1份文件引用(2022)
软件作者: Henglein,Fritz;Robin Kaarsgaard;米克尔·克拉·马西森
相关软件: 咖喱;汞;特修斯…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

派特尔

1份文件引用(2021)
软件作者: Algorand公司
相关软件: github;Coq公司
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

QCOR(质量控制报告)

在0个文档中引用
软件作者: Tiffany M.Mintz、Alexander J.Mcbarkey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski
相关软件: SciPy;开放费米子;奥奎斯特拉…
主要字段:

红色pl.pl

1份文件引用(1998)
软件作者: 塔博尔·阿尔斯万尼
相关软件: SICStus公司
主要字段: 计算机科学(68-XX)

佛经

1份文件引用(1990)
软件作者: 德肖维茨,纳丘姆;密特拉,Subrata;西瓦库马尔,G。
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…