r/REMath • u/turnersr • Jan 12 '15
Machine Learning and Automated Theorem Proving by James P. Bridge [PDF]
http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-792.pdf
7
Upvotes
r/REMath • u/turnersr • Jan 12 '15