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

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

مراجع

^ 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.

هذه بذرة مقالة عن عالم حاسوب بريطاني بحاجة للتوسيع. فضلًا شارك في تحريرها.

هذه بذرة مقالة عن مهندس بريطاني بحاجة للتوسيع. فضلًا شارك في تحريرها.

هذه بذرة مقالة عن فيلسوف بريطاني بحاجة للتوسيع. فضلًا شارك في تحريرها.

هذه بذرة مقالة عن رياضياتي بريطاني بحاجة للتوسيع. فضلًا شارك في تحريرها.