| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2001 |
CSRP-01-8: Learning methods outlines in proof planning
Mateja Jamnik, Manfred Kerber, Christoph Benzmuller
Research output: Working paper/Preprint › Working paper
Mateja Jamnik, Manfred Kerber, Christoph Benzmuller
Research output: Working paper/Preprint › Working paper
| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2001 |