روبرت كوالسكي

روبرت كوالسكي (بالإنجليزية: Robert Kowalski)‏ هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.^[3][4][5]

روبرت كوالسكي
معلومات شخصية
الميلاد	15 مايو 1941 (83 سنة)  بريدجبورت
مواطنة	المملكة المتحدة
عضو في	جمعية آلات الحوسبة[1]
الحياة العملية
المدرسة الأم	جامعة إدنبرة جامعة ستانفورد جامعة شيكاغو جامعة وارسو
طلاب الدكتوراه	دايفيد إتش. دي. ارين
المهنة	رياضياتي،  وعالم حاسوب،  ومهندس،  وفيلسوف،  وأستاذ جامعي
اللغات	الإنجليزية
مجال العمل	علم المنطق،  ومعلوماتية
موظف في	كلية لندن الإمبراطورية،  وجامعة إدنبرة
الجوائز
زمالة رابطة مكائن الحوسبة  (2001)[1] زمالة جمعية النهوض بالذكاء الاصطناعي  [لغات أخرى]‏ (1991)[2]
تعديل مصدري - تعديل

مراجع

1. https://awards.acm.org/fellows/award-recipients. اطلع عليه بتاريخ 2024-06-23. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
2. https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
3. Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.
4. https://web.archive.org/web/20181110130622/http://www.doc.ic.ac.uk/~rak/history.html. مؤرشف من الأصل في 2018-11-10. {{استشهاد ويب}}: الوسيط |title= غير موجود أو فارغ (مساعدة)
5. Kowalski, R. and Kuehner, D., "Linear Resolution with Selection Function", in Artificial Intelligence, Vol. 2, 1971, pp. 227–260. Reprinted in Anthology of Automated Theorem-Proving Papers, Vol. 2, سبرنجر, 1983, pp. 542–577.

وصلات خارجية

• بوابة المملكة المتحدة
• بوابة فلسفة
• بوابة أعلام