DMCA

Adaptive Parallel Search for Theorem Proving

by Diane J. Cook , Charles Harmon , Emaih Cook , Hannon ~cse. Uta. Edu