搜索
阿米尔·伯努利
认领
关注
0
粉丝
阿米尔·伯努利(Amir Pnueli,1941年4月22日-2009年11月2日),出生于以色列,科学家。他致力于在计算机科学中引入时序逻辑的开创性
知识
简介
阿米尔·伯努利(Amir Pnueli,1941年4月22日-2009年11月2日),出生于以色列,科学家。他致力于在计算机科学中引入时序逻辑的开创性的研究工作,因此被授予图灵奖。他的主要研究成果有《反应式系统和并发系统的时态逻辑:规约》《反应式系统的时态验证:安全》。...
更多
时光轴
里程碑
1
LOG
0
2023
2023-12
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
阿米尔·库利 Amir Khoury
阿米尔·库利 Amir Khoury
0
伯努瓦·菲利 Benoît Philippon
伯努瓦·菲利 Benoît Philippon
0
亚历山大·伯努瓦
亚历山大·伯努瓦
0
利利安 · 伯顿
利利安 · 伯顿
0
米歇尔·伯努瓦 Michel Benoist
米歇尔·伯努瓦 Michel Benoist
0
迪努 · 利帕蒂
迪努 · 利帕蒂
0
马克思·利伯曼
基本介绍 基本内容编辑本段 马克思·利伯曼(Max Liebermann,1847-1935年),德国画家。作为柏林脱离主义艺术运动的领袖之一,他把法国印象主义等欧洲艺术风潮介绍到德国。利伯曼出生于柏林,曾在家乡柏林学习,后在法国巴比松随米勒学习美术。他以描绘荷兰和德国日常生活的感性画作而闻名。在十
马克思·利伯曼
马克思·利伯曼
0
马克思·利伯曼
人物标签画家
拉哈·阿米尔法兹利 Raha Amirfazli
拉哈·阿米尔法兹利 Raha Amirfazli
0