×

Nuprl公司

swMATH ID: 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系统是一个关于数学和编程推理的框架。多年来,其设计得到了大幅改进,以满足大规模应用的需求。Nuprl LPE是最新版本,其特点是以灵活的知识库为中心的开放分布式体系结构,并支持独立形式化工具的协作。
主页: 网址:http://www.nuprl.org/
相关软件: Coq公司;霍尔;自动化;伊莎贝尔;PVS公司;毫升;乐高;伊莎贝尔/HOL;低成本融资;米扎尔;阿格达;HOL灯;Twelf公司;NQTHM公司;测试程序集;枣灰蝶属;IMPS公司;剑桥LCF;ETPS公司;精灵
引用于: 418文件
全部的 前5名

449位作者引用

23 罗伯特·李,警察
13 马克·比克福德
12 克里斯托夫·克里茨
11 道格拉斯·J·豪。
10 弗洛里安·拉贝
9 David A.Basin。
9 阿兰·邦迪
9 罗伯特·哈珀
9 弗兰克·芬宁
8 科恩、利隆
8 Farmer,William M。
8 文森特·拉里
7 福斯托·金奇利亚
7 阿兰·斯梅尔
6 艾米·费尔蒂(Amy P.Felty)。
6 迈克尔·科尔哈斯
6 何塞·梅塞盖尔·瓜伊塔
6 阿列克西·诺金
6 劳伦斯·查尔斯·保尔森
5 克里斯托夫·埃瓦尔德·本兹穆勒
5 詹姆斯·考德威尔。
5 罗朝晖
5 克里斯汀·保林·莫林
5 克劳迪奥·萨塞尔多蒂·科恩
5 斯蒂芬·施密特
5 卡斯滕·舒尔曼
5 谢克曼,Jörg H。
5 保罗·特拉弗索
5 弗里克·威迪杰克
4 安德鲁斯,彼得·B·。
4 亚历山德罗·阿曼多
4 阿诺·阿夫隆
4 道格拉斯·苏思·布里奇斯
4 简·赫尔曼·杰弗斯
4 杰森·希基。
4 丹尼尔·李卡塔(Daniel R.Licata)。
4 洛里戈,洛里
4 沃伊切赫·莫齐德·奥斯基
4 戈帕兰·纳达图尔
4 Natarajan Shankar
4 范·哈梅伦,弗兰克
4 席宏伟
卡洛·安吉利
安德烈亚·阿斯佩蒂
乌尔里希·伯杰
马修·毕晓普
布赫伯格,布鲁诺
亚历山德罗·科利奥
可口、蒂埃里
理查德·伊顿
Joseph Yehuda Halpern
霍罗扎尔,富尔亚
爱尔兰,安德鲁
Fairouz D.卡马雷丁。
马特·考夫曼
曼弗雷德·科伯
特穆尔库西亚
特温·拉恩
玛丽亚·艾米莉亚·梅埃蒂
安德烈亚斯·梅耶
帕维尔·G·瑙莫夫。
Rob Nederpelt公司
丹·奈史密斯
延斯·奥滕
萨宾娜·彼得里德
伊曼·哈菲兹·波尔莫莫
罗伯特·波拉克
唐纳德·桑内拉。
高山由纪德
Makoto Tatsuta
2 雷纳尔德·阿弗尔德
2 斯图亚特·艾伦。
2 阿南德,阿比舍克
2 安德森,佩妮
2 埃里克·安德烈斯
2 谢尔盖·奥特西尔
2 亨德里克·彼得·巴伦德雷格特
2 拉尔夫·本辛格
2 斯特凡·伯格霍费尔
2 伊夫·贝托特
2 理查德·博尔顿。
2 安娜·波夫
2 Tour男孩,蒂埃里
2 乍得·布朗·爱德华
2 Chollet,阿加西
2 兰斯·克莱维兰
2 西里尔·科恩
2 卡尔·克里
2 约翰·纽索姆·克罗斯利
2 乔尔·德斯佩鲁
2 多米尼克·迪特里希
2 彼得·戴比杰
2 埃格利,乌韦
2 雅克·弗莱里奥特。
2 福斯,劳伦特
2 迪迪埃·加米歇
2 菲利普·安·加德纳
2 约书亚·D·古特曼。
2 简·赫斯基
2 Furio Honsell
…还有349名作者
全部的 前5名

58篇连载文章被引用

33 理论计算机科学
23 自动推理杂志
12 计算机科学课堂讲稿
11 MSCS公司。计算机科学中的数学结构
11 数学与人工智能年鉴
9 符号计算杂志
8 信息与计算
7 计算的形式方面
7 函数编程杂志
7 应用逻辑杂志
6 纯逻辑与应用逻辑年鉴
5 计算机科学中的逻辑方法
4 人工智能
4 计算机基础理论
比特币
Studia Logica公司
系统设计中的形式化方法
逻辑与代数程序设计杂志
萨达纳
2 信息学报
2 逻辑与计算杂志
2 国际计算机科学基础杂志
2 逻辑、语言与信息杂志
2 高阶和符号计算
2 北约ASI系列。F.系列计算机与系统科学
1 国际系统科学杂志
1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司
1 计算机语言
1 北海道数学杂志
1 圣母院形式逻辑杂志
1 京都大学数学科学研究所出版物
1 合成
1 国际并行程序设计杂志
1 信息处理与控制论杂志
1 建模与仿真进展
1 密码学杂志
1 人工智能通信
1 模式识别
1 分布式计算
1 Indagationes Mathematicae公司。新系列
1 应用非经典逻辑杂志
1 IGPL杂志
1 美国计算机学会期刊
1 LMS计算与数学杂志
1 函数与逻辑编程杂志
1 通用计算机科学杂志
1 IEEE计算历史年鉴
1 ACM计算逻辑事务
1 Oberwolfach报告
1 研讨会,柏林洪堡大学,Sektion Mathematik
1 A.P.I.C.数据处理研究
1 剑桥理论计算机科学丛书
1 DIMACS。离散数学和理论计算机科学系列
1 数学及其应用研究所系列会议。新系列
1 国际计算机科学专著系列
1 泛逻辑
1 程序设计中的逻辑和代数方法杂志
1 理论计算机科学课文。EATCS系列

按年份列出的引文