William McCune
Academic
1953 – 2011
75 Views
Who was William McCune?
William McCune 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.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"William McCune." Biographies.net. STANDS4 LLC, 2024. Web. 3 May 2024. <https://www.biographies.net/people/en/william_mccune>.
Discuss this William McCune biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In