约翰·艾伦·罗宾逊
人员信息
奖项(1996年): 赫布兰德奖
SPARQL查询
优化列表
2000 – 2009
2001 [j8] 约翰·艾伦·罗宾逊 :
受邀编辑。 理论与实践。 日志。 程序。 1 ( 1 ) : 1 ( 2001 ) [第1页] 约翰·艾伦·罗宾逊 , 安德烈·沃伦科夫 :
前言。 自动推理手册 2001 : v-vii型 [电子1] 约翰·艾伦·罗宾逊 , 安德烈·沃伦科夫 :
自动推理手册(2卷)。 爱思唯尔和麻省理工学院出版社 2001 ,国际标准图书编号 0-444-50813-9 [目录] 2000 [第13条] 约翰·艾伦·罗宾逊 :
证明=保证+解释。 智能与计算逻辑 2000 : 277-294 [第12条] 约翰·艾伦·罗宾逊 :
计算逻辑:过去的记忆和未来的挑战。 计算逻辑 2000 : 1-24
1990 – 1999
1997 [第11条] 约翰·艾伦·罗宾逊 , 托马斯·弗洛雷斯 :
生物信息可视化新技术。 ISMB公司 1997 : 241-249 [第10条] 约翰·艾伦·罗宾逊 :
回顾统一和解决方案。 JFPLC公司 1997 : 241- 【c9】 约翰·艾伦·罗宾逊 :
非正式严格和数学理解。 库尔特·哥德尔座谈会 1997 : 54-64 1995 【c8】 约翰·艾伦·罗宾逊 , 乔纳斯·巴克伦德 :
晚祷。 机器智能15 1995 : 360-377 1994 [j7] 约翰·艾伦·罗宾逊 :
引言:《逻辑程序设计杂志》10周年特刊。 J.日志。 程序。 19/20 : 5-8 ( 1994 ) 1992 [j6] 约翰·艾伦·罗宾逊 :
逻辑和逻辑编程。 Commun公司。 ACM公司 35 ( 三 ) : 40-65 ( 1992 ) 【c7】 约翰·艾伦·罗宾逊 :
逻辑在计算机科学和人工智能中的作用。 FGCS公司 1992 : 199-210 【c6】 约翰·艾伦·罗宾逊 :
逻辑、计算机、图灵和冯·诺依曼。 机器智能13 1992 : 1-35 1991 [c5] 约翰·艾伦·罗宾逊 :
正式和非正式证明。 自动推理:纪念伍迪·布莱德索的论文 1991 : 267-282
1980 – 1989
1986 【c4】 约翰·艾伦·罗宾逊 :
逻辑编程够了吗? DS-2型 1986 : 307-319 【c3】 约翰·艾伦·罗宾逊 :
逻辑编程的未来(特邀论文)。 IFIP大会 1986 : 219-224 【c2】 约翰·艾伦·罗宾逊 :
在简化设置中合并函数式与关系编程(特邀讲座摘要)。 低收入国家 1986 : 2 1984 [j5] 约翰·艾伦·罗宾逊 :
编辑简介。 J.日志。 程序。 1 ( 1 ) : 1-2 ( 1984 ) 1983 【j4】 约翰·艾伦·罗宾逊 :
逻辑编程:过去、现在和未来。 新一代。 计算。 1 ( 2 ) : 107-124 ( 1983 )
1960 – 1969
1968 【c1】 约翰·艾伦·罗宾逊 :
机械定理证明的新方向。 IFIP大会(1) 1968 : 63-69 1967 [j3] 约翰·艾伦·罗宾逊 , 诺曼·M·马丁 :
符号逻辑协会会议。 J.塞姆。 日志。 32 ( 三 ) : 430 ( 1967 ) 1965 [注2] 约翰·艾伦·罗宾逊 :
基于分辨原理的面向机器的逻辑。 美国临床医学杂志 12 ( 1 ) : 23-41 ( 1965 ) 1963 [j1] 约翰·艾伦·罗宾逊 :
定理在计算机上的证明。 美国临床医学杂志 10 ( 2 ) : 163-174 ( 1963 )