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

روبرت كوالسكي
معلومات شخصية

مراجع

  1. ^ Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.
  2. ^ https://web.archive.org/web/20181110130622/http://www.doc.ic.ac.uk/~rak/history.html. مؤرشف من الأصل في 2018-11-10. {{استشهاد ويب}}: الوسيط |title= غير موجود أو فارغ (مساعدة)
  3. ^ 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.

وصلات خارجية

  • مقالات تستعمل روابط فنية بلا صلة مع ويكي بيانات