William McCune - William McCune

William Walker McCune
Doğum(1953-12-17)17 Aralık 1953
Öldü2 Mayıs 2011(2011-05-02) (57 yaş)
MilliyetAmerikan
BilinenSu samuru, Mace4, Atasözü9, Robbins varsayımı
Bilimsel kariyer
AlanlarBilgisayar Teknolojisi
KurumlarNew Mexico Üniversitesi

William Walker McCune (17 Aralık 1953 - 2 Mayıs 2011) bir Amerikan bilgisayar uzmanı ve mantıkçı alanlarında çalışmak otomatik muhakeme, cebir, mantık, ve resmi yöntemler. O en çok Su samuru, Atasözü9, ve Mace4 otomatik akıl yürütme sistemleri ve Robbins varsayımı kullanmak EQP teorem atasözü.

2000 yılında McCune, Otomatik Akıl Yürütmeye Olağanüstü Katkılar için Herbrand Ödülü.[1] 2013 yılında, Otomatik Akıl Yürütme ve Matematik - William W. McCune Anısına Denemeler onuruna yayınlandı.[2]

Referanslar

  1. ^ "Otomatik Akıl Yürütmeye Olağanüstü Katkılar için Herbrand Ödülü". CADE Inc. Alındı 12 Kasım 2018.
  2. ^ Bonacina, Maria Paola; Stickel, Mark, eds. (2013). Otomatik Akıl Yürütme ve Matematik - William W. McCune Anısına Denemeler. LNAI. 7788. Springer. doi:10.1007/978-3-642-36675-8. ISBN  978-3-642-36674-1.

Dış bağlantılar