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

من ويكيبيديا، الموسوعة الحرة

هذه نسخة قديمة من هذه الصفحة، وقام بتعديلها Mr.Ibrahembot (نقاش | مساهمات) في 19:15، 19 مايو 2020 (بوت:أضاف 1 تصنيف). العنوان الحالي (URL) هو وصلة دائمة لهذه النسخة، وقد تختلف اختلافًا كبيرًا عن النسخة الحالية.

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

معلومات شخصية
الميلاد 15 مايو 1941 (83 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
بريدجبورت  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة المملكة المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في جمعية آلات الحوسبة  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة إدنبرة
جامعة ستانفورد
جامعة شيكاغو
جامعة وارسو  تعديل قيمة خاصية (P69) في ويكي بيانات
طلاب الدكتوراه دايفيد إتش. دي. ارين  تعديل قيمة خاصية (P185) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس،  وفيلسوف،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإنجليزية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل علم المنطق،  ومعلوماتية  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في كلية لندن الإمبراطورية،  وجامعة إدنبرة  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز

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

مراجع

  1. ^ https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  2. ^ Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.
  3. ^ https://web.archive.org/web/20181110130622/http://www.doc.ic.ac.uk/~rak/history.html. مؤرشف من الأصل في 2018-11-10. {{استشهاد ويب}}: الوسيط |title= غير موجود أو فارغ (مساعدة)
  4. ^ 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.

وصلات خارجية

  • لا بيانات لهذه المقالة على ويكي بيانات تخص الفن