Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller. Automatic Learning of Proof Methods in Proof Planning. Logic Journal of the IGPL, 11(6):647-673, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.