ودي بلدسو
رياضياتي أمريكي
ودي بلدسو (بالإنجليزية: Woody Bledsoe) هو قسيس ورياضياتي ومهندس وعالم حاسوب أمريكي، ولد في 12 نوفمبر 1921 في مايسفيل في الولايات المتحدة، وتوفي في 4 أكتوبر 1995 في تكساس في الولايات المتحدة بسبب تصلب جانبي ضموري.[3][4][5]
| ودي بلدسو | |
|---|---|
 |
|
| معلومات شخصية | |
| الميلاد | 12 نوفمبر 1921 [1] مايسفيل[1] |
| الوفاة | 4 أكتوبر 1995 (73 سنة)
[1] تكساس |
| سبب الوفاة | تصلب جانبي ضموري[1] |
| مواطنة |  الولايات المتحدة |
| الحياة العملية | |
| المدرسة الأم | جامعة كاليفورنيا، بركلي |
| مشرف الدكتوراه | أنتوني مورس |
| طلاب الدكتوراه | روبرت إس. بوير |
| المهنة | رياضياتي، وقسيس، وعالم حاسوب، ومهندس، وباحث في مجال الذكاء الاصطناعي |
| موظف في | جامعة تكساس في أوستن |
| الجوائز | |
تعديل مصدري - تعديل  | |
مراجع
عدل- ^ ا ب ج د "Woody Bledsoe: His Life and Legacy". AI Magazine (بالإنجليزية). 1996. Retrieved 2018-10-16.
- ^ https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ W.W. Bledsoe (سبتمبر 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). ص. 15–21. مؤرشف من الأصل (PDF) في 2016-08-05.
- ^ 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) في 2020-03-12.
- ^ W.W. Bledsoe (1966). "Some Results on Multicategory Pattern Recognition". J. ACM. ج. 13 ع. 2: 304–316. DOI:10.1145/321328.321340.
