Contents and abstracts of the electronic notes in theoretical computer science, vol 4 - Proceedings of the first international workshop on rewriting logic and its applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996

首页> 外文期刊>Theoretical computer science >Contents and abstracts of the electronic notes in theoretical computer science, vol 4 - Proceedings of the first international workshop on rewriting logic and its applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996

【24h】

Contents and abstracts of the electronic notes in theoretical computer science, vol 4 - Proceedings of the first international workshop on rewriting logic and its applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996

机译：理论计算机科学电子笔记的内容和摘要，第4卷-首届重写逻辑及其应用国际研讨会的会议记录，1996年9月3日至6日，加利福尼亚州太平洋丛林市，阿西洛玛会议中心

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Theoretical computer science》 |1998年第2期|共7页
作者

展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类一般性问题;数学;
关键词

相似文献

外文文献

1. Contents and abstracts of the electronic notes in theoretical computer science, vol 4 - Proceedings of the first international workshop on rewriting logic and its applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996 [J] . Theoretical computer science . 1998,第1a2期

机译：理论计算机科学电子笔记的内容和摘要，第4卷-首届重写逻辑及其应用国际研讨会的会议记录，1996年9月3日至6日，加利福尼亚州太平洋丛林市，阿西洛玛会议中心
2. Contents and abstracts of the electronic notes in theoretical computer science vol. 5 - Selected papers first international workshop on verification of infinite state systems, Universita di Pisa, Pisa, Italy, 30-31 August, 1996 [J] . Theoretical computer science . 1998,第1a2期

机译：理论计算机科学卷中电子注释的内容和摘要。 5-1996年8月30日至31日在意大利比萨的比萨大学首次论文选出有关无限状态系统验证的国际研讨会
3. Contents and abstracts of the electronic notes in theoretical computer science vol. 5 - Selected papers first international workshop on verification of infinite state systems, Universita di Pisa, Pisa, Italy, 30-31 August, 1996 [J] . Steffen B., Caucal D. Theoretical computer science . 1998,第1a2期

机译：理论计算机科学卷中电子注释的内容和摘要。 5-1996年8月30日至31日在意大利比萨的比萨大学首次论文选出有关无限状态系统验证的国际研讨会
4. Proceeding of the 1996 IEEE International Conference on ControlApplications IEEE International Conference on Control Applications heldtogether with IEEE International Symposium on Intelligent Control IEEEInternational Symposium on Computer-Aided Control System Design [C] . International conference on computer vision;ICCV'93 . 1993

机译：1996年IEEE控制应用国际会议的召开IEEE控制应用国际会议与IEEE智能控制国际研讨会一起举行IEEE计算机辅助控制系统设计国际研讨会
5. Abstracts of the Papers for the Annual Meeting of The American Society of Plant Physiologists held at the Asilomar Conference Grounds Pacific Grove California August 22-26 1971: CONTENTS [O] . 1971

机译：1971年8月22日至26日在加利福尼亚太平洋丛林市的Asilomar会议场地举行的美国植物生理学家学会年会论文摘要：目录
6. Contents and abstracts of the electronic notes in theoretical computer science vol. 4 Proceedings First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, September 3–6, 1996 [O] . Meseguer José 1998

机译：理论计算机科学卷中电子注释的内容和摘要。 4会议论文集第一届重写逻辑及其应用国际研讨会，1996年9月3日至6日，加利福尼亚州太平洋丛林市，阿西洛马尔会议中心

Contents and abstracts of the electronic notes in theoretical computer science, vol 4 - Proceedings of the first international workshop on rewriting logic and its applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996

著录项

相似文献

相关主题

期刊订阅