Login / Signup
C. Acar Erkek
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
C. Acar Erkek
,
Tunga Güngör
Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving.
ISCIS
(2010)