The Legacy of a Great Researcher [chapter]

Larry Wos
2013 Lecture Notes in Computer Science  
This article presents examples of the monumental contributions of Bill McCune to mathematics, logic, computer science, and especially automated reasoning. The examples are presented in the form of short stories and recollections of the author during his long association with Bill. In addition to Bill's accomplishments as a researcher, the author provides personal memories giving glimpses into Bill's complex personality and his generosity as a collaborator.
doi:10.1007/978-3-642-36675-8_1 fatcat:6nhkdcslprhkbl6ciehihqorwq