| Original language | English |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Utrecht University |
| Number of pages | 8 |
| Publication status | Published - Dec 2016 |
Publication series
| Series | Technical Report University Utrecht |
|---|---|
| Volume | UU-CS-2016-009 |
| ISSN | 0924-3275 |
Generating hints and feedback for Hilbert-style axiomatic proofs
J.S. Lodder, B.J. Heeren, J.T. Jeuring
Research output: Book/Report › Technical report › Professional
92
Downloads
(Pure)