WikiDer > Уильям МакКьюн
William McCune
Уильям Уокер МакКьюн | |
|---|---|
| Родившийся | 17 декабря 1953 г. |
| Умер | 2 мая 2011 г. (57 лет) |
| Национальность | Американец |
| Известен | Выдра, Булава4, Prover9, Гипотеза Роббинса |
| Научная карьера | |
| Поля | Компьютерные технологии |
| Учреждения | Университет Нью-Мексико |
Уильям Уокер МакКьюн (17 декабря 1953 г. - 2 мая 2011 г.) Американец специалист в области информатики и логик работая в области автоматическое рассуждение, алгебра, логика, и формальные методы. Он был самым известным за развитие Выдра, Prover9, и Булава4 автоматизированные системы рассуждений и автоматизированное доказательство Гипотеза Роббинса с использованием EQP средство доказательства теорем.
В 2000 году Маккьюн получил Премия Herbrand за выдающийся вклад в автоматизированное мышление.[1] В 2013, Автоматизированное мышление и математика - Очерки памяти Уильяма У. МакКьюна был опубликован в его честь.[2]
Рекомендации
- ^ "Премия Herbrand за выдающийся вклад в автоматизированное мышление". CADE Inc. Получено 12 ноября 2018.
- ^ Бонацина, Мария Паола; Стикель, Марк, ред. (2013). Автоматизированное мышление и математика - Очерки памяти Уильяма У. МакКьюна. LNAI. 7788. Springer. Дои:10.1007/978-3-642-36675-8. ISBN 978-3-642-36674-1.
внешняя ссылка
- Программное обеспечение Prover9
- Домашняя страница Уильяма МакКьюна
- Обновленная версия программного обеспечения Prover9
 | Эта биографическая статья, относящаяся к специалисту по компьютерам в Соединенных Штатах, является заглушка. Вы можете помочь Википедии расширяя это. |