A Model of Analogy-Driven Proof-Plan Construction

Erica Melis. A Model of Analogy-Driven Proof-Plan Construction. In IJCAI. pages 182-189, 1995.

Abstract

Abstract is missing.