Kaliszyk, Cezary <br/><br/>
Learning-assisted theorem proving with millions of lemmas.  [electronic resource] 

 -  Journal of symbolic computation  Jul 2015 
 - 109-128 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>0747-7171 
<br/><br/><label>Standard No.: </label>10.1016/j.jsc.2014.09.032  doi