Бледсоу, Вудро Вильсон

Вудро Вильсон Бледсоу
Вудро Вильсон Бледсоу
Дата рождения	12 ноября 1921
Место рождения	Maysville[вд], Гарвин, Оклахома, США;
Дата смерти	4 октября 1995 (73 года)
Место смерти	Техас, США;
Страна	США;
Род деятельности	математик, священник, специалист в области информатики, инженер, исследователь искусственного интеллекта
Место работы	Техасский университет в Остине;
Альма-матер	Калифорнийский университет в Беркли;
Научный руководитель	Энтони Морс[вд]
Награды и премии	Премия Эрбрана[вд] (1994) член AAAI[вд] (1990)

Некоторые работы

W. W. Bledsoe. Non-Resolution Theorem Proving (неопр.) // Artificial Intelligence. — 1977. — Т. 9. — С. 1—35. — doi:10.1016/0004-3702(77)90012-1. (англ.)
W. W. Bledsoe; I. Browning. Pattern Recognition and Reading by Machine (неопр.) // Papers Presented at the December 1-3, 1959, Eastern Joint IRE-AIEE-ACM Computer Conference. — ACM, 1959. — Т. IRE—AIEE—ACM '59 (Eastern). — С. 225—232. — doi:10.1145/1460299.1460326. (англ.)
Woody Bledsoe. I Had a Dream: AAAI Presidential Address, 19 August 1985 (англ.) // AI Magazine : journal. — 1986. — Vol. 7. — P. 57—61. (англ.)

↑ ¹ ² ³ Woody Bledsoe: His Life and Legacy (англ.) // AI Magazine — AAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
↑ Mathematics Genealogy Project (англ.) — 1997.
↑ W. W. Bledsoe. Some Results on Multicategory Pattern Recognition (англ.) // J. ACM : journal. — 1966. — Vol. 13. — P. 304—316. (англ.)
↑ W. W. Bledsoe. Splitting and Reduction Heuristics in Automatic Theorem Proving (англ.) // Artif. Intellig. : journal. — 1971. — Vol. 2, no. 1. — P. 55—77. (англ.)
↑ W. W. Bledsoe. Proc. IJCAI (неопр.). — 1975. — С. 15—21. (англ.)
↑ W. W. Bledsoe. Non-Resolution Theorem Proving (неопр.) // Artificial Intelligence. — 1977. — Т. 9. — С. 1—35. — doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 (Sep.1975) (англ.)
↑ W. W. Bledsoe and Kenneth Kunen and Robert E. Shostak. Произведенной Results for Inequality Provers (неопр.) // Artif. Intellig.. — 1985. — Т. 27, № 3. — С. 255—288. — Preceding technical report ATP65 (1983) (англ.)

Перечень публикаций на DBLP (англ.)
Boyer, Anne Olivia; Boyer, Robert S. Automated Reasoning: Essays in Honor of Woody Bledsoe (англ.) / Boyer, Robert S.. — Kluwer Academic Publishers Group, 1991. — P. 1—29. (англ.)

Вудро Вильсон Бледсоу

Дата рождения	12 ноября 1921(1921-11-12)^[1]
Место рождения	Maysville^[вд], Гарвин, Оклахома, США^[1]
Дата смерти	4 октября 1995(1995-10-04)^[1] (73 года)
Место смерти	Техас, США
Страна	США
Род деятельности	математик, священник, специалист в области информатики, инженер, исследователь искусственного интеллекта
Место работы	Техасский университет в Остине
Альма-матер	Калифорнийский университет в Беркли
Научный руководитель	Энтони Морс^[вд]^[2]
Награды и премии	Премия Эрбрана^[вд] (1994) член AAAI^[вд] (1990)