أمير بنولي (Q2999934)

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	أمير بنولي	لا يوجد وصف
الإنجليزية	Amir Pnueli	Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

بيانات

Wikidata item ^{الإنجليزية}

Q92649

٠ مرجع

Commons category ^{الإنجليزية}

Amir Pnueli

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

VIAF ID ^{الإنجليزية}

59337776

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

ISNI ^{الإنجليزية}

0000 0000 8386 4015

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

date of birth ^{الإنجليزية}

٢٢ أبريل 1941^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

date of death ^{الإنجليزية}

٢ نوفمبر 2009^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

instance of ^{الإنجليزية}

إنسان

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

place of birth ^{الإنجليزية}

نهلال

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

place of death ^{الإنجليزية}

مدينة نيويورك

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

image ^{الإنجليزية}

Amir Pnueli FLoC 2006 (cropped).jpg
٣٧٥ × ٤٠٠؛ ٦٥ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Freebase ID ^{الإنجليزية}

/m/01svgc

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

award received ^{الإنجليزية}

جائزة إسرائيل

point in time ^{الإنجليزية}

2000^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

جائزة تورنگ

point in time ^{الإنجليزية}

1996^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

جائزة نظام برمجيات ACM

point in time ^{الإنجليزية}

2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

زمالة رابطة مكائن الحوسبة

point in time ^{الإنجليزية}

2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

occupation ^{الإنجليزية}

عالم حاسوب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

مهندس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

تربوي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

أستاذ جامعي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

رياضياتي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

country of citizenship ^{الإنجليزية}

إسرائيل

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

employer ^{الإنجليزية}

جامعة نيويورك لانگون الصحي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

جامعة تل أبيب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

كلية الهندسة في جامعة نيويورك تاندون

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

official website ^{الإنجليزية}

http://www.wisdom.weizmann.ac.il/~amir/

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

member of ^{الإنجليزية}

أكاديمية إسرائيل للعلوم والإنسانيات

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

رابطة ميكنة الحوسبة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

أكاديمية الهندسة الوطنية

start time ^{الإنجليزية}

1999^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

given name ^{الإنجليزية}

أمير

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Erdős number ^{الإنجليزية}

٢

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

doctoral student ^{الإنجليزية}

Dan Zachai ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Mordechai Ben-Ari ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Nissim Francez ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Asher Wilk ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Lenore Zuck ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Yonit Kesten ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Yair Eran ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Oded Maler ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Orna Lichtenstein ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Roni Rosner ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Rivka Zarhy-Sherman ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Dov Dori ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Giora Slutzki ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Doron A. Peled ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Hillel Kugler ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Ofer Strichman ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Gera Weiss ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Raya (Rosenfeld) Leviathan ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Yi Fang ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Elad Shahar ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Ariel Cohen ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Sitvanit Ruah ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Ittai Balaban ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Uri Klein ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Yaniv Sa'ar ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Dana Fisman ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Shmuel Safra ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

GND ID ^{الإنجليزية}

1076344267

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

educated at ^{الإنجليزية}

تخنيون – معهد إسرائيل للتكنولوجيا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

معهد وايزمان للعلوم

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

DBLP author ID ^{الإنجليزية}

p/AmirPnueli

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

Encyclopædia Britannica Online ID ^{الإنجليزية}

biography/Amir-Pnueli

subject named as ^{الإنجليزية}

Amir Pnueli

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

manner of death ^{الإنجليزية}

أسباب طبيعية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

field of work ^{الإنجليزية}

علم الحاسوب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

work location ^{الإنجليزية}

معهد وايزمان للعلوم

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

doctoral advisor ^{الإنجليزية}

حاييم ليب بكيريس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

family name ^{الإنجليزية}

Pnueli ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

cause of death ^{الإنجليزية}

النزف الدماغي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

sex or gender ^{الإنجليزية}

ذكر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

described by source ^{الإنجليزية}

Obalky knih.cz

URL ^{الإنجليزية}

https://www.obalkyknih.cz/view_auth?auth_id=xx0013901

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

name in native language ^{الإنجليزية}

אמיר פנואלי (العبرية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q92649

أمير بنولي (Q2999934)

بيانات

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٨ وصلات)