A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
The Legacy of a Great Researcher
[chapter]
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