eds.), Automated Theorem Proving: After 25 (0)

by W W Bledsoe, D W Loveland
Venue:Years, Contemporary Math