Machine Learning for Automated Theorem Proving. Kakkad, A. , 2009.
bibtex   
@Article{Kakkad2009,
author = {Kakkad, A.}, 
title = {Machine Learning for Automated Theorem Proving}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {2009}, 
abstract = {}, 
location = {}, 
keywords = {}}

Downloads: 0