Nuprl系统是一个关于数学和程序设计的推理框架.多年来,它的设计得到了很大的改进,以满足大规模应用的需要.nuprlpe是最新版本,它以一个开放的,分布式的体系结构为特点,以灵活的知识库为中心,并支持独立正式工具的协作.
 作者:R.L.警员S.F.艾伦,H.M.布罗姆利,W.R.克里夫兰,J.F.克雷默,R.W.哈珀,D.J.豪,T.B.诺布洛克,N.P.门德勒,P.帕南加登,J.T.佐佐木,S.F.史密斯
 添加有关此软件的信息.
 低成本
 显示更多...
 数量
 少显示...
 比多伊特,米歇尔(编辑);克洛夫斯基,汉斯-Jörg(编辑);莱斯坎,皮埃尔(编辑);Sannella,Donald(ed.):代数系统规范与开发.综述与注释书目(1991)
 邦迪,艾伦;范哈梅伦,弗兰克;赫斯基,简;斯迈尔,艾伦:实验与证明计划的诱导(1991年)
 希尔肯,B.;里德黑德,D.E, :程序开发索引类别(1991年)
 北卡罗来纳州内佩霍达.N, :构造逻辑与计算机程序设计之间的桥梁(1991)
 班布里奇,E.S, .;弗里德,P.J, .;塞德罗夫,A.;斯科特,P.J, :函数多态性(1990)
 包含结合交换函数和交换约束算子的项的等式是同构完备的(1990)
 康斯特布尔,R.五十, .;豪,D.J, :实现元数学作为自动定理证明的方法(1990)
 顶级理学硕士课程
 01历史;传记
 18范畴理论,...
 其他理学硕士课程
 20群论和...
 41近似值和...
 91博弈论,经济学,...