×

Nuprl公司

swMATH标识: 6751
软件作者: R、 L.Constable,S.F.Allen,H.M.Bromley,W.R.Cleaveland,J.F.Cremer,R.W.Harper,D.J.Howe,T.B.Knoblock,N.P.Mendler,P.Panangaden,J.T.Sasaki,S.F.Smith
说明: Nuprl系统是一个关于数学和程序设计的推理框架。多年来,它的设计得到了很大的改进,以满足大规模应用的需要。nuprlpe是最新版本,它以一个开放的、分布式的体系结构为特点,以灵活的知识库为中心,并支持独立正式工具的协作。
主页: http://www.nuprl.org/
相关软件: 可口可乐;荷兰语;自动机;伊莎贝尔;PVS公司;毫升;乐高;伊莎贝尔/霍尔;低成本;尾端;阿格达;特维尔;霍尔灯;枣灰蝶属;测试程序集;数量;小鬼;ETPS公司;精灵;
参考文献: 396种出版物
全部的 前5名

434位作者引用

23 警察,罗伯特·李
13 比克福德,马克
12 克里茨,克里斯托夫
11 豪,道格拉斯J。
10 拉贝,弗洛里安
9 哈珀,罗伯特
8 盆地,大卫A。
8 邦迪,艾伦
8 科恩,利伦
8 农夫,威廉M。
8 拉利,文森特
7 芬宁,弗兰克
6 费尔蒂,艾米P。
6 朱西格里亚,福斯托
6 科哈塞,迈克尔
6 梅斯盖尔·瓜伊塔,何塞
6 不,阿列克西
6 斯梅尔,艾伦
5 本斯穆勒,克里斯托夫·埃瓦尔德
5 考德威尔,詹姆斯L。
5 罗兆辉
5 保尔森,劳伦斯·查尔斯
5 Sacerdoti Coen,克劳迪奥
5 施密特,斯蒂芬
5 舒曼,卡斯滕
5 希克曼,Jörg H。
5 维迪迪克,弗里克
4 安德鲁斯,彼得B。
4 阿曼多,亚历山德罗
4 阿文,阿农
4 布里奇斯,道格拉斯·萨特
4 杰弗斯,简·赫尔曼
4 希基,杰森J。
4 利卡塔,丹尼尔R。
4 萝莉哥,萝莉
4 Moczydłowski,沃伊切赫
4 纳达图尔,戈帕兰
4 保林·莫林,克里斯汀
4 沙卡,纳塔拉扬
4 保罗,特拉维索
4 十一、宏伟
安圭利,卡罗
阿斯佩蒂,安德里亚
毕肖普,马修
布赫伯格,布鲁诺
科格里奥,亚历山德罗
可口可乐,蒂埃里
伊顿,理查德
哈珀,约瑟夫·耶胡达
霍洛扎尔,富尔雅
卡马雷丁,费尔鲁兹。
考夫曼,马特
克伯,曼弗雷德
特穆尔库兹亚
莱恩,吐温
麦蒂,玛丽亚·埃米利娅
梅尔,安德烈亚斯
诺莫夫,帕维尔G。
内德佩尔特,罗伯
奥顿,詹斯
佩特里德,萨比纳
Poernomo,伊曼哈菲兹
波拉克,罗伯特
桑内拉,唐纳德T。
高山由纪德
Tatsuta,Makoto
范哈梅伦,弗兰克
2 艾伦,斯图亚特F。
2 阿南,阿披实
2 安德森,佩妮
2 安德烈,埃里克
2 Autexier,谢尔盖
2 Barendregt,Hendrik Pieter
2 本辛格,拉尔夫
2 伯杰,乌尔里希
2 伯格霍夫,斯特凡
2 贝托,伊夫
2 博尔顿,理查德J。
2 阿娜,波夫
2 德拉图尔男孩,蒂埃里
2 布朗,查德·爱德华
2 乔利特,阿加特
2 克莱里,卡尔
2 克罗斯利,约翰·纽索姆
2 德斯佩鲁克斯,乔
2 迪特里希,多米尼克
2 戴比杰,彼得
2 埃格利,乌韦
2 弗莱里奥,雅克·D。
2 福斯,劳伦特
2 加尔米切,迪迪埃
2 加德纳,菲利帕·安妮
2 戈登,迈克J。
2 古特曼,约书亚D。
2 赫斯基,简
2 弘塞尔,富里奥
2 黄晓蓉
2 爱尔兰,安德鲁
2 伊萨,苏尼尔
2 杰克逊,保罗B。
…还有334个作者
全部的 前5名

引用了57个系列

33 理论计算机科学
22 自动推理杂志
12 计算机科学讲义
11 数学与人工智能年鉴
10 MSCS公司。计算机科学中的数学结构
9 符号计算杂志
8 信息与计算
7 计算的形式化方面
7 函数程序设计杂志
7 应用逻辑杂志
6 纯逻辑与应用逻辑年鉴
5 计算机科学中的逻辑方法
4 计算机基础理论
钻头
逻辑研究
系统设计中的形式化方法
逻辑与代数程序设计杂志
ādhanā
2 信息学报
2 人工智能
2 逻辑与计算杂志
2 国际计算机科学基础杂志
2 逻辑、语言与信息杂志
2 高阶与符号计算
2 北约ASI系列。计算机与系统科学系列
1 国际系统科学杂志
1 拓扑结构与几何差异
1 计算机语言
1 北海道数学杂志
1 圣母院形式逻辑杂志
1 京都大学数学科学研究所出版物
1 合成语
1 国际并行程序设计杂志
1 信息处理与控制论杂志
1 建模与仿真研究进展
1 密码学杂志
1 人工智能通信
1 模式识别
1 分布式计算
1 数学家英达加。新系列
1 应用非经典逻辑杂志
1 IGPL杂志
1 ACM杂志
1 计算与数学杂志
1 函数与逻辑程序设计杂志
1 通用计算机科学杂志
1
1 IEEE计算史年鉴
1 计算逻辑学报
1 Oberwolfach报告
1 德国柏林洪堡大学
1 A、 P.I.C.数据处理研究
1 剑桥理论计算机科学
1 迪马斯。离散数学与理论计算机科学系列
1 泛逻辑
1 程序设计中的逻辑和代数方法杂志
1 理论计算机科学教材。EATCS系列

按年份引用出版物