روبرت إس. بوير
روبرت إس. بوير (بالإنجليزية: Robert S. Boyer) هو مهندس وفيلسوف وعالم حاسوب أمريكي، ولد في القرن العشرين.[1]
| روبرت إس. بوير | |
|---|---|
| معلومات شخصية | |
| الميلاد | القرن 20 |
| مواطنة |  الولايات المتحدة |
| عضو في | جمعية النهوض بالذكاء الاصطناعي |
| الحياة العملية | |
| المدرسة الأم | جامعة إدنبرة جامعة تكساس في أوستن |
| مشرف الدكتوراه | ودي بلدسو |
| المهنة | مهندس ، وفيلسوف ، وعالم حاسوب |
| موظف في | جامعة تكساس في أوستن |
| الجوائز | |
جائزة نظام برمجيات ACM (2005) جائزة هيربراند (1999) زمالة جمعية النهوض بالذكاء الاصطناعي | |
مراجع
- "Nqthm, the Boyer–Moore prover". مؤرشف من الأصل في 3 مارس 2016. اطلع عليه بتاريخ 21 أبريل 2006. الوسيط
|CitationClass=تم تجاهله (مساعدة)
وصلات خارجية
- لا بيانات لهذه المقالة على ويكي داتا تخص الفن
بوابة أعلام
بوابة الولايات المتحدة
بوابة رياضيات
بوابة علم الحاسوب
بوابة فلسفة
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.