首页 > 《程序员》 > 2009年12期 > 时序逻辑领域的开拓者

时序逻辑领域的开拓者

在线阅读下载PDF 导出详情

摘要又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔·伯努利（AmirPnueli）。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。

DOI 0dpqpr1o42/821545

作者吕娜

机构地区不详

出处《程序员》 2009年12期

关键词时序逻辑开拓者科技成就图灵奖伯努利脑出血

分类 [自动化与计算机技术][计算机软件与理论]

出版日期 2009年12月22日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1边风. 开拓者的家园.中国文学,2009-03.
2刘爽爽. 中国公共卫生领域的开拓者.教育学,2018-12.
3石家铭. 开拓者之歌(组诗).中国文学,2010-01.
4Adweek;彼得·约克（Peter;york）;许杨晶晶（翻译）. “企业身份”开拓者.市场营销,2011-06.
5李迎春;沙牧歌. 开拓者刘艳明.企业管理,1997-04.
6. 开拓者许向华.城市规划与设计,2016-05.
7. Carbonetworks：“低碳”开拓者.通信与信息系统,2010-02.
8申文果. 从开拓者到领导者.产业经济,2000-01.
9付新洁. 《回族文学》的开拓者白练.中国文学,2016-01.
10胡国枢. 新世纪开拓者的精神.教育学,2005-01.

来源期刊

程序员

相关推荐

同分类资源更多

相关关键词

时序逻辑开拓者科技成就图灵奖伯努利脑出血

返回顶部