قائمة الحاصلين على جائزة تورنغ: الفرق بين النسختين
| [نسخة منشورة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
ط بوت:الإبلاغ عن رابط معطوب أو مؤرشف V5.3 |
|||
سطر 216:
|[[أمير بنولي]]
|[[ملف:Amir Pnueli.jpg|80px]]
|للعمل الأساسي لإدخال المنطق الزمني في علوم الحوسبة وللمساهمات البارزة في التحقق من البرامج والأنظمة.<ref name="Pnueli">{{استشهاد ويب |عنوان = A.M. Turing Award Laureate - Amir Pnueli |موقع=amturing.acm.org |مسار = https://amturing.acm.org/award_winners/pnueli_4725172.cfm |تاريخ الوصول=November 4, 2018 | مسار أرشيف = https://web.archive.org/web/20211020112749/https://amturing.acm.org/award_winners/pnueli_4725172.cfm | تاريخ أرشيف = 20 أكتوبر 2021 }}</ref>
|-
!1997
سطر 260:
|[[ألان كاي]]
|[[ملف:Alan Kay (3097597186) (cropped).jpg|80px]]
|للريادة في العديد من الأفكار في جذور [[برمجة كائنية التوجه|لغات البرمجة كائنية التوجه]] المعاصرة، وقيادة الفريق الذي طور [[سمول توك]]، وللمساهمات الأساسية في الحوسبة الشخصية.<ref>[https://amturing.acm.org/award_winners/kay_3972189.cfm ALAN KAY, United States – 2003] {{Webarchive|url=https://web.archive.org/web/20211011044645/https://amturing.acm.org/award_winners/kay_3972189.cfm |date=11 أكتوبر 2021}}</ref>
|-
!rowspan=2|2004
| |||