Cognitive Science Research Reports: Automatic Learning of Proof Methods in Proof Planning

Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmuller

Research output: Working paper/PreprintWorking paper

Original languageEnglish
Publication statusPublished - 1 Jan 2002

Cite this