William Walker „Bill“ McCune (* 1953; † 4. Mai 2011) war ein US-amerikanischer Mathematiker und Informatiker, der sich mit Automatischem Beweisen befasste.
William Walker „Bill“ McCune (* 1953; † 4. Mai 2011) war ein US-amerikanischer Mathematiker und Informatiker, der sich mit Automatischem Beweisen befasste.