期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

时序逻辑领域的开拓者

下载PDF

导出

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

作者吕娜

出处《程序员》 2009年第12期8-8,共1页 Programmer

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

分类号 TP31 [自动化与计算机技术—计算机软件与理论] G322 [自动化与计算机技术—计算机科学与技术]

引文网络
相关文献

1Xia Yuanyuan.Treatment at a Tap[J].Beijing Review,2017,60(15):26-27.
2Intracerebral hemorrhage in young adults[J].中华物理医学与康复杂志,2015,37(2):90-90.
3郭兆颖,朱君华.让你的网页熠熠生辉[J].电脑爱好者,2002(17):94-94.
4庞宇,霍修坤,潘丽丽,方荣富.一种改进的FCM算法在脑出血图像中的应用[J].电子技术（上海）,2011,38(6):45-47. 被引量：1
5晏礼中.那些我喜欢的人，在30岁就没了[J].廉政瞭望,2014,0(24):50-50.
6赵守霞.携手多媒体让语文课堂熠熠生辉[J].中国教育技术装备,2011(10):173-173.
7筱叶.熠熠生辉的触摸屏[J].金融科技时代,1994,0(5):20-20.
8朱绍飞.多媒体让课堂熠熠生辉[J].中国信息技术教育,2010(4):47-47.
9三三.熠熠生辉的贵金属腕表[J].中国宝石,2013(1):202-205.
10王春燕.让多媒体在语文课堂教学中熠熠生辉[J].中国信息技术教育,2011(6):80-80.

程序员

2009年第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部