1. Learning-assisted theorem proving with millions of lemmas. (July 2015) Authors: Kaliszyk, Cezary; Urban, Josef Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 109 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗