Machine Learning Approach to Enhance the Design of Automated Theorem Provers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mahdi Khalifa' in GoogleThis author has not been identified. Look up 'Hazem Raafat' in GoogleThis author has not been identified. Look up 'Mohammed Almulla' in Google

runs on WebDSL