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

Вудро Вильсон Бледсоу
Вудро Вильсон Бледсоу
Дата рождения	12 ноября 1921(1921-11-12)
Место рождения	Maysville[d], Гарвин, Оклахома, США;
Дата смерти	4 октября 1995(1995-10-04) (73 года)
Место смерти	Техас, США;
Страна	США;
Место работы	Техасский университет в Остине;
Альма-матер	Калифорнийский университет в Беркли;
Научный руководитель	Anthony Morse[d]
Награды и премии	Herbrand Award[d] (1994)

Некоторые работыПравить

W. W. Bledsoe. Non-Resolution Theorem Proving (англ.) // Artificial Intelligence. — 1977. — Vol. 9. — P. 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. — Vol. IRE—AIEE—ACM '59 (Eastern). — P. 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. Архивировано 12 марта 2020 года.
↑ W. W. Bledsoe. Proc. IJCAI (англ.). — 1975. — P. 15—21. Архивная копия от 5 августа 2016 на Wayback Machine
↑ W. W. Bledsoe. Non-Resolution Theorem Proving. ATP29. Preceding technical report (англ.) // Artificial Intelligence. — 1975. — September (vol. 9). — P. 1—35. — doi:10.1016/0004-3702(77)90012-1. Архивировано 4 марта 2016 года.
↑ W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Completeness Results for Inequality Provers. ATP65. Preceding technical report (англ.) // Artif. Intellig.. — 1983. — Vol. 27, no. 3. — P. 255—288. Архивировано 4 марта 2016 года.

Перечень публикаций на DBLP Архивная копия от 22 октября 2016 на Wayback Machine (англ.)
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^[d], Гарвин, Оклахома, США^[1]
Дата смерти	4 октября 1995(1995-10-04)^[1] (73 года)
Место смерти	Техас, США
Страна	США
Место работы	Техасский университет в Остине
Альма-матер	Калифорнийский университет в Беркли
Научный руководитель	Anthony Morse^[d]^[2]
Награды и премии	Herbrand Award^[d] (1994)