GradNova
Mechanical Theorem Proving
1 faculty research Mechanical Theorem Proving on GradNova.
Research Professor
Computer Science
University of North Carolina at Chapel Hill