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 |