روبرت إس. بوير
{{يتيمة|تاريخ=أبريل 2019}}
{{صندوق معلومات شخص}}
'''روبرت إس. بوير''' {{إنج|Robert S. Boyer}} هو [[مهندس]] و[[فيلسوف]] و[[عالم حاسوب]] [[الولايات المتحدة|أمريكي]]، ولد في [[القرن 20|القرن العشرين]].<ref name="nqthm">{{استشهاد ويب|عنوان=Nqthm, the Boyer–Moore prover|مسار=https://www.cs.utexas.edu/~boyer/ftp/nqthm/|تاريخ الوصول=2006-04-21| مسار أرشيف = https://web.archive.org/web/20160303231301/http://www.cs.utexas.edu/~boyer/ftp/nqthm/ | تاريخ أرشيف = 3 مارس 2016 }}</ref>

== مراجع ==
{{مراجع}}

== وصلات خارجية ==
{{ضبط استنادي}}
{{شريط بوابات|أعلام|الولايات المتحدة|ذكاء اصطناعي|رياضيات|علم الحاسوب|فلسفة}}
{{بذرة مهندس أمريكي}}

[[تصنيف:أشخاص في ليسب]]
[[تصنيف:أشخاص أحياء]]
[[تصنيف:خريجو جامعة إدنبرة]]
[[تصنيف:مواليد القرن 20]]
[[تصنيف:أعضاء هيئة تدريس جامعة تكساس في أوستن]]
[[تصنيف:زملاء جمعية النهوض بالذكاء الاصطناعي]]
روبرت إس. بوير  هو مهندس وفيلسوف وعالم حاسوب أمريكي، ولد في القرن العشرين.

 مراجع 

 وصلات خارجية 

تصنيف:أشخاص في ليسب
تصنيف:أشخاص أحياء
تصنيف:خريجو جامعة إدنبرة
تصنيف:مواليد القرن 20
تصنيف:أعضاء هيئة تدريس جامعة تكساس في أوستن
تصنيف:زملاء جمعية النهوض بالذكاء الاصطناعي