روبرت كوالسكي
روبرت كوالسكي (بالإنجليزية: Robert Kowalski) هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.[3][4][5]
| روبرت كوالسكي | |
|---|---|
.jpg) |
|
| معلومات شخصية | |
| الميلاد | 15 مايو 1941 (84 سنة) بريدجبورت |
| مواطنة | .svg){kind=small} المملكة المتحدة |
| عضو في | جمعية آلات الحوسبة[1] |
| الحياة العملية | |
| المدرسة الأم | جامعة إدنبرة جامعة ستانفورد جامعة شيكاغو جامعة وارسو |
| طلاب الدكتوراه | دايفيد إتش. دي. ارين |
| المهنة | رياضياتي، وعالم حاسوب، ومهندس، وفيلسوف، وأستاذ جامعي |
| اللغات | الإنجليزية |
| مجال العمل | علم المنطق، ومعلوماتية |
| موظف في | كلية لندن الإمبراطورية، وجامعة إدنبرة |
| الجوائز | |
تعديل مصدري - تعديل  | |
مراجع
عدل- ^ ا ب https://awards.acm.org/fellows/award-recipients. اطلع عليه بتاريخ 2024-06-23.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.
- ^ https://web.archive.org/web/20181110130622/http://www.doc.ic.ac.uk/~rak/history.html. مؤرشف من الأصل في 2018-11-10.
{{استشهاد ويب}}: الوسيط|title=غير موجود أو فارغ (مساعدة) - ^ 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.
