Mahdi Khalifa, Hazem Raafat, Mohammed Almulla. Machine Learning Approach to Enhance the Design of Automated Theorem Provers. In Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi-Sing Leung, editors, Neural Information Processing - 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II. Volume 7664 of Lecture Notes in Computer Science, pages 673-682, Springer, 2012. [doi]
@inproceedings{KhalifaRA12,
title = {Machine Learning Approach to Enhance the Design of Automated Theorem Provers},
author = {Mahdi Khalifa and Hazem Raafat and Mohammed Almulla},
year = {2012},
doi = {10.1007/978-3-642-34481-7_82},
url = {http://dx.doi.org/10.1007/978-3-642-34481-7_82},
researchr = {https://researchr.org/publication/KhalifaRA12},
cites = {0},
citedby = {0},
pages = {673-682},
booktitle = {Neural Information Processing - 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II},
editor = {Tingwen Huang and Zhigang Zeng and Chuandong Li and Chi-Sing Leung},
volume = {7664},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-34480-0},
}