Improving Proof Plans through Learning from Examples

Pěchouček, M., Banerji, R., Štěpánková, O.

PĚCHOUČEK, M., R. BANERJI, and O. ŠTĚPÁNKOVÁ. Improving Proof Plans through Learning from Examples. [Research Report] Praha: ČVUT FEL, Katedra řídicí techniky - Gerstnerova laboratoř, 1997. Report no. GLM 04/97.