William McCune

Research Professor (guest appointment)
Computer Science Department
School of Engineering
University of New Mexico
Photo, Curriculum Vitae

Research Areas


Current and Recent Projects


Automated Deduction Software


Papers


Diversions


Miscellany