|
تضامنًا مع حق الشعب الفلسطيني |
ودي بلدسو
اذهب إلى التنقل
اذهب إلى البحث
| ودي بلدسو | |
|---|---|
| معلومات شخصية | |
تعديل مصدري - تعديل  |
ودي بلدسو (بالإنجليزية: Woody Bledsoe) هو قسيس ورياضياتي ومهندس وعالم حاسوب أمريكي، ولد في 12 نوفمبر 1921 في مايسفيل في الولايات المتحدة، وتوفي في 4 أكتوبر 1995 في تكساس في الولايات المتحدة بسبب تصلب جانبي ضموري.[1][2][3]
مراجع
- ^ 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.
وصلات خارجية
- مقالات تستعمل روابط فنية بلا صلة مع ويكي بيانات
