纪念Pnueli教授: 一位信息科学领域的开拓者和 ‘拯救者’

	纪念Pnueli教授: 一位信息科学领域的开拓者和 ‘拯救者’
	王飞跃
发表期刊	科技导报
	2010
卷号	28 期号:14 页码:123
其他摘要	--
关键词	Pnueli教授
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/14940
专题	多模态人工智能系统全国重点实验室_平行智能技术与系统团队
通讯作者	王飞跃
推荐引用方式 GB/T 7714	王飞跃. 纪念Pnueli教授: 一位信息科学领域的开拓者和 ‘拯救者’[J]. 科技导报,2010,28(14):123.
APA	王飞跃.(2010).纪念Pnueli教授: 一位信息科学领域的开拓者和 ‘拯救者’.科技导报,28(14),123.
MLA	王飞跃."纪念Pnueli教授: 一位信息科学领域的开拓者和 ‘拯救者’".科技导报 28.14(2010):123.