Login / Signup
Alistair Manning
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
Alistair Manning
,
Andrew Ireland
,
Alan Bundy
Incresing the Versatility of Heuristic Based Theorem Provers.
LPAR
(1993)