Statistics
Publications
30
Citations
2K
H-Index
18
Active since
1944
William McCune is an author at Argonne National Laboratory specializing in medicine, surgery, and engineering.
Publications per year
1944–2002
30
30
Solution of the Robbins Problem
William McCune · Journal of Automated Reasoning · 1997 · 282 citations
Otter - The CADE-13 Competition Incarnations
William McCune, Larry Wos · Journal of Automated Reasoning · 1997 · 103 citations
Rows per page
1–5 of 30