روبرت كوالسكي
روبرت كوالسكي (بالإنجليزية: Robert Kowalski) هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.[1][2][3]
روبرت كوالسكي | |
---|---|
معلومات شخصية | |
الميلاد | 15 مايو 1941 (78 سنة) بريدجبورت، كونيتيكت |
مواطنة | المملكة المتحدة |
عضو في | رابطة مكائن الحوسبة |
الحياة العملية | |
المدرسة الأم | جامعة إدنبرة جامعة ستانفورد جامعة شيكاغو جامعة وارسو |
المهنة | رياضياتي، وعالم حاسوب، ومهندس، وفيلسوف |
موظف في | كلية لندن الإمبراطورية، وجامعة إدنبرة |
الجوائز | |
زمالة رابطة مكائن الحوسبة (2001) زمالة رابطة مكائن الحوسبة |
|
تعديل مصدري - تعديل ![]() |
مراجععدل
- ^ Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.
- ^ http://www.doc.ic.ac.uk/~rak/history.html
- ^ 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.
وصلات خارجيةعدل
- لا بيانات لهذه المقالة على ويكي داتا تخص الفن