ودي بلدسو
ودي بلدسو (بالإنجليزية: Woody Bledsoe) هو قسيس ورياضياتي ومهندس وعالم حاسوب أمريكي، ولد في 12 نوفمبر 1921 في مايسفيل في الولايات المتحدة، وتوفي في 4 أكتوبر 1995 في تكساس في الولايات المتحدة بسبب تصلب جانبي ضموري.[2][3][4]
| ودي بلدسو | |
|---|---|
 | |
| معلومات شخصية | |
| الميلاد | 12 نوفمبر 1921 [1] مايسفيل[1] |
| الوفاة | 4 أكتوبر 1995 (73 سنة)
[1] تكساس |
| سبب الوفاة | تصلب جانبي ضموري[1] |
| مواطنة |  الولايات المتحدة |
| الحياة العملية | |
| المدرسة الأم | جامعة كاليفورنيا، بركلي |
| مشرف الدكتوراه | أنتوني مورس |
| طلاب الدكتوراه | روبرت إس. بوير |
| المهنة | رياضياتي، وقسيس، وعالم حاسوب، ومهندس، وباحث في مجال الذكاء الاصطناعي |
| موظف في | جامعة تكساس في أوستن |
| الجوائز | |
جائزة هيربراند (1994) | |
مراجع
- نشر في: AI Magazine — تاريخ النشر: 1996 — المجلد: 17 — العدد: 1 — Woody Bledsoe: His Life and Legacy — تاريخ الاطلاع: 16 أكتوبر 2018
- W.W. Bledsoe (سبتمبر 1975)، "A New Method for Proving Certain Presburger Formulas"، Proc. IJCAI (PDF)، ص. 15–21، مؤرشف من الأصل (PDF) في 5 أغسطس 2016.
- W.W. Bledsoe (1971)، "Splitting and Reduction Heuristics in Automatic Theorem Proving" (PDF)، Artif. Intell.، 2 (1): 55–77، doi:10.1016/0004-3702(71)90004-x، مؤرشف من الأصل (PDF) في 12 مارس 2020.
- W.W. Bledsoe (1966)، "Some Results on Multicategory Pattern Recognition"، J. ACM، 13 (2): 304–316، doi:10.1145/321328.321340.
وصلات خارجية
- لا بيانات لهذه المقالة على ويكي بيانات تخص الفن
بوابة أعلام
بوابة الولايات المتحدة
بوابة صور رقمية
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.