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

روبرت كوالسكي  هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.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.

 مراجع 

 وصلات خارجية 

تصنيف:أشخاص أحياء
تصنيف:أشخاص من بريدجبورت (كونيتيكت)
تصنيف:أكاديميو جامعة إدنبرة
تصنيف:أكاديميون من كلية لندن الإمبراطورية
تصنيف:أمريكيون من أصل بولندي
تصنيف:أمريكيون مهاجرون إلى إنجلترا
تصنيف:خريجو جامعة إدنبرة
تصنيف:خريجو جامعة بريدجبورت (كونيتيكت)
تصنيف:خريجو جامعة ستانفورد
تصنيف:خريجو جامعة شيكاغو
تصنيف:خريجو جامعة وارسو
تصنيف:زملاء جمعية النهوض بالذكاء الاصطناعي
تصنيف:زملاء رابطة آلات الحوسبة
تصنيف:علماء حاسوب بريطانيون
تصنيف:فلاسفة بريطانيون
تصنيف:منطقيون بريطانيون
تصنيف:مواليد 1941