| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2002 |
Cognitive Science Research Reports 2002: Automatic Learning in Proof Planning
Mateja Jamnik, Manfred Kerber, Martin Pollet
Research output: Working paper/Preprint › Working paper
Mateja Jamnik, Manfred Kerber, Martin Pollet
Research output: Working paper/Preprint › Working paper
| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2002 |