روبرت كوالسكي
روبرت كوالسكي (بالإنجليزية: Robert Kowalski) هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.[1][2][3]
| روبرت كوالسكي | |
|---|---|
 | |
| معلومات شخصية | |
| الميلاد | 15 مايو 1941 (80 سنة) بريدجبورت، كونيتيكت |
| مواطنة |  المملكة المتحدة |
| عضو في | جمعية آلات الحوسبة |
| الحياة العملية | |
| المدرسة الأم | جامعة إدنبرة جامعة ستانفورد جامعة شيكاغو جامعة وارسو |
| طلاب الدكتوراه | دايفيد إتش. دي. ارين |
| المهنة | رياضياتي ، وعالم حاسوب ، ومهندس ، وفيلسوف |
| موظف في | كلية لندن الإمبراطورية ، وجامعة إدنبرة |
| الجوائز | |
زمالة رابطة مكائن الحوسبة | |
مراجع
- 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. مؤرشف من الأصل في 10 نوفمبر 2018. الوسيط
|CitationClass=تم تجاهله (مساعدة); مفقود أو فارغ|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.
وصلات خارجية
- لا بيانات لهذه المقالة على ويكي داتا تخص الفن
بوابة المملكة المتحدة
بوابة فلسفة
بوابة أعلام
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.