William McCune ✓
(1953–2011)
computer scientist
United States
1 quotes
William McCune (1953–2011) was a United States computer scientist.
About William McCune
William Walker McCune was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods.
Notable works:
A history of the Confraternity of the Blessed Sacrament in the United States of America
Awards:
Herbrand Award
All William McCune Quotes
No quotes found for this author.