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. Praha: ČVUT FEL, Katedra řídicí techniky - Gerstnerova laboratoř, 1997. GLM 04/97.