Login / Signup
Mahdi Khalifa
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Design Space
Information Extraction
Embedded Systems
Top Venues
ICONIP (2)
</>
Publications
</>
Mahdi Khalifa
,
Hazem M. Raafat
,
Mohammed Almulla
Machine Learning Approach to Enhance the Design of Automated Theorem Provers.
ICONIP (2)
(2012)