William McCune

William McCune's Academic­Influence.com Rankings

William McCune

Computer Science

#2621

World Rank

#2741

Historical Rank

#1129

USA Rank

computer-science Degrees

Download Badge

• Computer Science

Why Is William McCune Influential?

According to Wikipedia, William Walker 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.

Other Resources About William McCune

• en.wikipedia.org