Уильям МакКьюн - William McCune

Уильям Уокер МакКьюн
Родившийся(1953-12-17)17 декабря 1953 г.
Умер2 мая 2011 г.(2011-05-02) (57 лет)
НациональностьАмериканец
ИзвестенВыдра, Булава4, Prover9, Гипотеза Роббинса
Научная карьера
ПоляКомпьютерные технологии
УчрежденияУниверситет Нью-Мексико

Уильям Уокер МакКьюн (17 декабря 1953 г. - 2 мая 2011 г.) Американец специалист в области информатики и логик работая в области автоматическое рассуждение, алгебра, логика, и формальные методы. Он был самым известным за развитие Выдра, Prover9, и Булава4 автоматизированные системы рассуждений и автоматизированное доказательство Гипотеза Роббинса с использованием EQP средство доказательства теорем.

В 2000 году Маккьюн получил Премия Herbrand за выдающийся вклад в автоматизированное мышление.[1] В 2013, Автоматизированное мышление и математика - Очерки памяти Уильяма У. МакКьюна был опубликован в его честь.[2]

Рекомендации

  1. ^ "Премия Herbrand за выдающийся вклад в автоматизированное мышление". CADE Inc. Получено 12 ноября 2018.
  2. ^ Бонацина, Мария Паола; Стикель, Марк, ред. (2013). Автоматизированное мышление и математика - Очерки памяти Уильяма У. МакКьюна. LNAI. 7788. Springer. Дои:10.1007/978-3-642-36675-8. ISBN  978-3-642-36674-1.

внешняя ссылка