查尔斯·拉特雷
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2006 [j3] 萨维·马哈拉吉 , 卡伦·桑克兰 , 查尔斯·拉特雷 :
前言。 西奥。 计算。 科学。 351 ( 2 ) : 129-130 ( 2006 ) 2004 [注2] 米罗斯拉夫·斯韦达 , 查尔斯·拉特雷 , 杰西·罗森布利特 :
基于计算机的系统的形式规范。 J.大学。 计算。 科学。 10 ( 10 ) : 1354-1356 ( 2004 ) [电子4] 查尔斯·拉特雷 , 萨维·马哈拉吉 , 卡伦·桑克兰 :
代数方法论和软件技术,第十届国际会议,AMAST 2004,斯特林,苏格兰,英国,2004年7月12-16日,会议记录。 计算机科学课堂讲稿 3116, 施普林格 2004 ,国际标准图书编号 3-540-22381-9 [目录] 2003 [第10条] 米罗斯拉夫·斯韦达 , 查尔斯·拉特雷 , 杰西·罗森布利特 :
基于计算机的系统的正式规范。 欧洲商业银行 2003 : 169-172 2002 【c9】 米罗斯拉夫·斯韦达 , 查尔斯·拉特雷 , 杰西·罗森布利特 :
基于计算机的系统的正式规范。 欧洲商业银行 2002 : 224-225 2001 【c8】 米罗斯拉夫·斯韦达 , 查尔斯·拉特雷 :
基于计算机的系统的正式规范。 欧洲商业银行 2001 : 357-358 2000 【c7】 米罗斯拉夫·斯韦达 , 弗兰兹·皮克勒 , 查尔斯·拉特雷 :
IEEE/IFIP计算机系统正式规范联合研讨会。 欧洲商业银行 2000 : 382-382
1990 – 1999
1999 [j1] A.C.里夫斯 , 查尔斯·拉特雷 :
一种基于草图的自译员派生技术。 计算。 语言。 25 ( 1 ) : 1-37 ( 1999 ) 1995 【c6】 查尔斯·拉特雷 :
复杂系统中通过形状进行识别和识别。 欧洲广播公司 1995 : 19-29 1994 [电子3] 莫里斯·尼瓦特 , 查尔斯·拉特雷 , Teodor俄罗斯 , 朱塞佩·斯科洛 :
代数方法论和软件技术(AMAST’93),第三届国际方法论与软件技术会议论文集,荷兰恩舍德特温特大学,1993年6月21日至25日。 计算机研讨会 , 施普林格 1994 ,国际标准图书编号 3-540-19852-0 [目录] 1993 【c5】 查尔斯·拉特雷 :
复杂系统的形状。 欧洲广播公司 1993 : 72-82 1992 [电子2] 莫里斯·尼瓦特 , 查尔斯·拉特雷 , 特奥多尔·罗斯 , 朱塞佩·斯科洛 :
代数方法和软件技术(AMAST’91),第二届国际方法论和软件技术会议论文集,美国爱荷华市,1991年5月22日至25日。 计算机研讨会 , 施普林格 1992 ,国际标准图书编号 3-540-19797-4 [目录] 1991 【c4】 查尔斯·拉特雷 , 马里恩·马斯登 :
CAST库中的对象识别和检索。 欧洲广播公司 1991 : 153-172 【c3】 理查德·布兰德 , 詹姆斯·考伊 , 汤姆·凯恩 , 查尔斯·拉特雷 , 伊恩·威尔逊 :
使用Prolog引擎集成多个知识源:KCM/Help-Desk项目。 下一代信息系统 1991 : 134-147 1990 [电子1] 查尔斯·拉特雷 :
并发系统的规范和验证[BCS-FACS研讨会,1988年7月6日至8日,英国苏格兰斯特林大学]。 计算机研讨会 , 施普林格 1990 ,国际标准图书编号 3-540-19581-5 [目录]
1980 – 1989
1989 【c2】 查尔斯·拉特雷 , 唐·普莱斯 :
为基于知识的系统设计绘制进化层次框架。 欧洲广播公司 1989 : 95-110 【c1】 A.C.里夫斯 , 查尔斯·拉特雷 :
勾画出“混合”的建设性定义。 函数式编程 1989 : 118-132
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)