How to Pronounce William McCune
#20
Most Popular
Boost
Dec 01, 1953 Died on 01 May 2011 (aged 57)
computer scientist
SagittariusWilliam Mccune - Place of Birth, Date of Birth, Age, Wiki, Facts, Net Worth, Birthday, Biography and Family
William Mccune, Date of Birth, Place of Birth, Family, Facts, Age, Net Worth, Biography and More in FamedBorn.com
About William Mccune
- William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods.
- He was best known for the development of the Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover. In 2000, McCune received the Herbrand Award for Distinguished Contributions to Automated Reasoning.
- In 2013, Automated Reasoning and Mathematics - Essays in Memory of William W.
- McCune was published in his honour.
