ودي بلدسو (Woody Bledsoe) هو قسيس ورياضياتي ومهندس وعالم حاسوب أمريكي، ولد في 12 نوفمبر 1921 في مايسفيل في الولايات المتحدة، وتوفي في 4 أكتوبر 1995 في تكساس في الولايات المتحدة بسبب تصلب جانبي ضموري.[2][3][4]
ودي بلدسو | |
---|---|
معلومات شخصية | |
الميلاد | 12 نوفمبر 1921[1] مايسفيل[1] |
الوفاة | 4 أكتوبر 1995 (73 سنة)
[1] تكساس |
سبب الوفاة | تصلب جانبي ضموري[1] |
مواطنة | الولايات المتحدة |
الحياة العملية | |
المدرسة الأم | جامعة كاليفورنيا، بركلي |
مشرف الدكتوراه | أنتوني مورس |
المهنة | رياضياتي، وقسيس، وعالم حاسوب، ومهندس، وباحث في مجال الذكاء الاصطناعي |
موظف في | جامعة تكساس في أوستن |
مراجع
- Woody Bledsoe: His Life and Legacy — تاريخ الاطلاع: 16 أكتوبر 2018 — المجلد: 17 — العدد: 1 — نشر في: AI Magazine — تاريخ النشر: 1996
- W.W. Bledsoe (Sep 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.
وصلات خارجية
- لا بيانات لهذه المقالة على ويكي داتا تخص الفن