雷蒙德·奥宾
人员信息
SPARQL查询
优化列表
2000 – 2009
2004 [j4] 武田东彦 , 井上一郎 , 雷蒙德·奥宾 , 马可·卡鲁吉 :
第1层虚拟专用网络:服务概念、架构要求和相关标准化进展。 IEEE通信。 美格。 42 ( 6 ) : 132-138 ( 2004 )
1980 – 1989
1989 【c3】 史蒂文·弗雷泽 , 何塞·M·杜兰 , 雷蒙德·奥宾 :
用于重用的软件索引。 SMC公司 1989 : 853-858 1986 [c2] 丹尼尔·兹拉丁 , 雷蒙德·奥宾 , 理查德·皮科克 :
从规范到测试用例:软件质量中的人工智能。 国际商会 1986 : 1176-1179 1982 [j3] 雷蒙德·奥宾 , 亚历山大·布朗 , 布拉尼斯拉夫·塞利奇 :
SL-10分组交换机的开发:资源、文件和软件加载管理。 IEEE传输。 Commun公司。 30 ( 6 ) : 1393-1398 ( 1982 )
1970 – 1979
1979 [注2] 雷蒙德·奥宾 :
机械化结构归纳第一部分:形式系统。 西奥。 计算。 科学。 9 : 329-345 ( 1979 ) [j1] 雷蒙德·奥宾 :
机械化结构归纳第二部分:策略。 西奥。 计算。 科学。 9 : 347-362 ( 1979 ) 1977 【c1】 雷蒙德·奥宾 :
机械化结构归纳的策略。 国际JCAI 1977 : 363-369 1976 【b1】 雷蒙德·奥宾 :
机械化结构导入。 英国爱丁堡大学, 1976