Cognitive Science Research Reports 2002: Automatic Learning in Proof Planning

Mateja Jamnik, Manfred Kerber, Martin Pollet

Research output: Working paper/PreprintWorking paper

Original languageEnglish
Publication statusPublished - 1 Jan 2002

Cite this