×

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

HIP(热等静压)

33篇文献引用(2007–2023)
软件作者: 魏恩根;Huu Hai Nguyen;克里斯蒂娜·戴维;克里斯蒂安·吉尔吉纳(Cristian Gherghina);Quang Loc Le;Ton-Chanh Le;阿桑卡亚·夏尔马
相关软件: 小脚;VeriFast;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

F类*

21篇文献引用(2011–2020)
软件作者: 微软研究院(INRIA);尼基尔·斯瓦米;Chen,Juan;Fornet,塞德里克;支柱,Pierre-Yves;卡尔蒂基扬·巴尔干;杨吉恩
相关软件: Coq;Nuprl;EasyCrypt…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

HOL-Z公司

5份文件引用(2005–2011)
软件作者: David Basin;库鲁马、平野武;Kazuo Takaragi;沃尔夫,伯克哈特
相关软件: Z;HOL;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

扩展器

7份文件引用(1992–2007)
软件作者: 彼得·帕达维茨
相关软件: 莫德;CoCasl;咖喱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

安培桑(Ampersand)

6篇文献引用(2011年至2018年)
软件作者: 杰拉德·米歇尔斯(Gerard Michels);塞巴斯蒂安·乔斯顿;贾普·范德沃德;斯特夫·乔斯顿
相关软件: Z;RelView;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ALE公司

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

MarCaSPiS公司

5份文件引用(2009–2015)
软件作者: Rocco De Nicola、Diego Latella、Michele Loreti、Mieke Massink
相关软件: 奶牛;MoDeST;科莱姆…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

适应

引用于2份文件(2003–2010)
软件作者: 阿恩·洛克坦根;罗兰·奥尔森
相关软件: 禁忌搜索;毫升;Walksat…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

HOLCF公司

3份文件引用(2012–2017)
软件作者: 布莱恩·霍夫曼
相关软件: Isabelle/HOL;精益;马蒂塔…
主要字段: 计算机科学(68-XX)

JSXM公司

1份文件引用(2016)
软件作者: 迪米特里斯·德拉尼迪斯、康斯坦蒂诺斯·布拉塔尼斯、弗洛伦丁·伊帕特
相关软件: ——
主要字段: 计算机科学(68-XX)

CTESK公司

1份文件引用(2015年)
软件作者: 俄罗斯科学院系统编程研究所
相关软件: UniTESK;SMV;自旋蛋白
主要字段: 计算机科学(68-XX)

G2C公司

1份文件引用(2012)
软件作者: 迈克尔·巴克斯(Michael Backes);马特奥·马菲;Pecina,Kim;拉斐尔·雷舒克(Raphael M.Reischuk)。
相关软件: Gecode公司;气场
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

JavaTESK公司

在0个文档中引用
软件作者: 俄罗斯科学院系统编程研究所
相关软件: SpecExplorer;N模型;UniTESK公司
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件