×

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

74份文件引用(1992–2023)
软件作者: Hernquist,L。;北卡罗来纳州卡茨
相关软件: GADGET公司;磁粉检测;双球面物理学…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

精益CoP

40篇文献引用(2001–2023)
软件作者: 延斯·奥顿
相关软件: 依兰CoP;TPTP;VAMPIRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

较窄的

11份文件引用(1985–1995)
软件作者: 皮埃尔·雷蒂(Pierre Rety);克劳德·基什内尔;赫莱内·基什内尔;皮埃尔·莱斯坎
相关软件: PARLOG;版次:;内核-叶…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);通用代数系统(08-XX)…

BousiProlog公司

6篇文献引用(2017–2023)
软件作者: 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺
相关软件: Likelog;SWI-预测;快速…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

普罗托斯-L

7份文件引用(1990–1996)
软件作者: 克里斯托夫·贝尔
相关软件: 序言
主要字段: 计算机科学(68-XX)

X中心

5份文件引用(2013–2021)
软件作者: Coelho,J.、Florido,M。
相关软件: CLP(柔性);莫德;数学…
主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)

规则合并器

4份文件引用(2016年至2019年)
软件作者: 丹尼尔·斯特吕贝尔(Daniel Strüber);朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契克;Gabriele Taentzer;詹妮弗·普洛格
相关软件: 亨欣;AGG;VMQL…
主要字段: 计算机科学(68-XX)

Veriflog公司

4份文件引用(2008–2018)
软件作者: 乔治·科埃略(Jorge Coelho),马里奥·弗洛里多(Mário Florido)
相关软件: CLP(柔性);定理;数学…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

波形规格0

4份文件引用(2007–2008)
软件作者: 陈硕;Don Hong;于希尔
相关软件: ElemStatLearn;R;Matlab…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

快速

引用于2份文件(2020–2023)
软件作者: 帕斯夸尔·朱利安·伊兰佐;莫雷诺、吉纳斯;何塞·安东尼奥·里亚扎
相关软件: BousiProlog;FRIL;XPath…
主要字段: 计算机科学(68-XX)

高亮度调光

引用于2份文件(2018–2021)
软件作者: 程凡
相关软件: R;SSRMST;样本大小4临床试验…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

向ATINF致敬

引用于2份文件(2001–2012)
软件作者: 卡费拉、里卡多;尼古拉斯·佩尔蒂埃(Nicolas Peltier);弗朗索瓦·普伊特
相关软件: GEX;日本国债交易所;发现者…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SMCHR公司

引用于2份文件(2012–2018)
软件作者: 格雷戈里·杜克。
相关软件: 小脚;CBMC;SLAyer…
主要字段: 计算机科学(68-XX)

剧目

引用于2份文件(1987–1989)
软件作者: 朱尔根·米勒
相关软件: SbReve2;InvX公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

布拉加方法

1份文件引用(2022)
软件作者: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Jean-François莫宁
相关软件: OCaml;CompCert;Coq公司
主要字段: 计算机科学(68-XX)

电阻晶体管

1份文件引用(2003)
软件作者: M.Randall霍姆斯
相关软件: 毫升
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯布卡

1份文件引用(2008)
软件作者: Yarmohammadi,Mahsa A。;梅赫努什·沙姆斯法德;马希德·亚穆罕默德(Mahshid A.Yarmohammadi)。;马苏德·鲁希扎德
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件