×

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

伊莎贝尔/HOL

1068年文献引用(1996–2024)
软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
相关软件: 伊莎贝尔;Coq;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

LISP公司

114篇文献引用(1960–2023)
软件作者: 约翰·麦卡锡
相关软件: ACL2;NQTHM;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

轻量级Java

107篇文献引用(2001–2023)
软件作者: Atsushi Igarashi;本杰明·皮尔斯(Benjamin C.Pierce)。;菲利普·沃德勒
相关软件: JML;毫升;埃菲尔…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

教堂

57篇文献引用(2008–2023)
软件作者: Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。
相关软件: 博客;IBAL;ProbLog…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…

HOPLA公司

14篇文献引用(2002–2014)
软件作者: 米克尔·奈加德;格林·温斯克尔
相关软件: 新HOPLA
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…

平面图

9份文件引用(1997–2005)
软件作者: 迈克尔·希克斯;潘卡杰·卡卡尔;乔纳森·摩尔(Jonathan T.Moore)。;卡尔·A·冈特。;斯科特·奈特尔斯
相关软件: OCaml;番石榴;AtomCaml…
主要字段: 计算机科学(68-XX)

混合ML

6篇文献引用(2008–2018)
软件作者:
相关软件: 1毫升;毫升;自动…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

采购订单模板

6篇文献引用(2018–2022)
软件作者: 阿南德,阿比舍克;西蒙·博利埃(Simon Boulier);科恩、西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁
相关软件: Coq;CertiCoq;OEuf…
主要字段: 计算机科学(68-XX)

交易人员

6篇文献引用(2005–2018)
软件作者: 菲尔德,约翰;卡洛斯·瓦雷拉。
相关软件: 埃尔朗;考德;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PELCR公司

4份文件引用(2007–2019)
软件作者: 马可·佩奇尼(Marco Pedicini);弗朗西斯科·夸利亚
相关软件: MPINE;PORGY公司;哈斯克尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CRSX公司

3份文件引用(2009–2011)
软件作者: 罗丝,K.H。;国际商用机器公司
相关软件: 自动化;流行标志;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LLFp公司

4份文件引用(2016年至2019年)
软件作者: Furio Honsell;路易吉·利库里;皮塔·马克西莫维奇;伊万·斯卡格内托
相关软件: Coq;MMT;Agda…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

特征CFA

3份文件引用(2011–2012)
软件作者: 塔伦·帕布;Shreyas Ramalingam;马修,可能;霍尔,玛丽
相关软件: PETSc;CUDA;THORS…
主要字段: 计算机科学(68-XX)

SUBSEXPL公司

3份文件引用(2006–2011)
软件作者: F.L.C.de Moura。;Ayala Rinc\'on,M.(阿亚拉·林肯,M.)。;Kamareddine,F。
相关软件: 自动化;OCaml;Emacs…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

cap类型检查

引用于2份文件(2018–2019)
软件作者: J.Edi;A.签证
相关软件: github
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

榛子

引用于2份文件(2017)
软件作者: 奥马尔、赛勒斯;伊恩·沃西(Ian Voysey);迈克尔·希尔顿;乔纳森·奥尔德里奇;马修·哈默(Matthew A.Hammer)。
相关软件: 甲基丙烯酸甲酯;js_of_ocaml;mbeddr…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

微型流氓

引用于2份文件(2005–2007)
软件作者: 阿伦·斯塔姆(Aaron Stump);瑞安·贝桑德(Ryan Besand);詹姆斯·布罗德曼。;Hseu,Jonathan;比尔·金纳斯利
相关软件: 卡宴;CVC;阿尔法…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MLOG(MLOG)

引用于2份文件(1992–1994)
软件作者: 文森特·波里兹
相关软件: GHC公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

技能

引用于2份文件(1993–2000)
软件作者: Galmiche,D。;O.赫尔曼。
相关软件: 自动化;乐高;洛利…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

波浪形

1份文件引用(2011年)
软件作者: D.Ruiz、M.Villaret
相关软件: 阿那戈波斯;郁金香;格拉夫维兹
主要字段: 计算机科学(68-XX)

阿那戈波斯

1份文件引用(2011年)
软件作者: Bugge Grathwohl,尼尔斯·比约恩;杰罗·凯特马(Jeroen Ketema);Jens Duelund,Pallesen;雅各布·格鲁·西蒙森
相关软件: TILC;郁金香;格拉夫维兹
主要字段: 计算机科学(68-XX)

楔形文字

1份文件引用(2017)
软件作者: Jörgen Brandt;Reisig,Wolfgang;乌尔夫·莱斯
相关软件: PRMLT;蜂巢;火花…
主要字段: 计算机科学(68-XX)

胎儿

1份文件引用(2016)
软件作者: 安德烈亚斯·阿贝尔
相关软件: OCaml;自动订阅;Why3…
主要字段: 计算机科学(68-XX)

乔夫

1份文件引用(2019)
软件作者: 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha)
相关软件: 朱庇特;蟒蛇
主要字段: 计算机科学(68-XX)

λ

1份文件引用(2007)
软件作者: 美国设计公司
相关软件: PENSDP;IRAM;SB方法…
主要字段: 数值分析(65-XX);运筹学,数学编程(90-XX)

米基贝塔

1份文件引用(2011年)
软件作者: 樱井佳子;浅井,肯尼奇
相关软件: OCaml;PLT兑换;Coq公司
主要字段: 计算机科学(68-XX)

VMλ

1份文件引用(2003)
软件作者: 埃希罗·苏米(Eijiro Sumii);伊迪奥·班奈
相关软件: OCaml;凸轮4
主要字段: 计算机科学(68-XX)

X-Fun系列

在0个文档中引用
软件作者: 巴维尔·拉巴斯;约阿希姆·尼伦
相关软件: QuiXProc公司;葫芦;问答…
主要字段: 计算机科学(68-XX)

兰达罐头

在0个文档中引用
软件作者: timfraser公司
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件