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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
روبرت كوالسكي
Robert Kowalski.jpg
 

معلومات شخصية
الميلاد 15 مايو 1941 (79 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
بريدجبورت، كونيتيكت  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة Flag of the United Kingdom.svg المملكة المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في رابطة مكائن الحوسبة  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة إدنبرة
جامعة ستانفورد
جامعة شيكاغو
جامعة وارسو  تعديل قيمة خاصية (P69) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس،  وفيلسوف  تعديل قيمة خاصية (P106) في ويكي بيانات
موظف في كلية لندن الإمبراطورية،  وجامعة إدنبرة  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز

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

مراجع[عدل]

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

وصلات خارجية[عدل]

  • لا بيانات لهذه المقالة على ويكي داتا تخص الفن
Flag of the United Kingdom.svg
هذه بذرة مقالة عن عالم حاسوب بريطاني بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن مهندس بريطاني بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن فيلسوف بريطاني بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن رياضياتي بريطاني بحاجة للتوسيع. شارك في تحريرها.