Boyer More Inacap 2013
Boyer more matcher (2)
Using Parallelism to Improve Theorem Prover Interactivity David L. Rager May 17, 2010 Committee Members: Warren A Hunt Jr. (Chair), Matt Kaufmann, J Strother.
Gender Equity Task Force Report