| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education |
| Subtitle of host publication | Seattle, Washington, USA — March 08 - 11, 2017 |
| Place of Publication | New York |
| Publisher | ACM Digital Library |
| Pages | 387-392 |
| Number of pages | 6 |
| ISBN (Print) | 9781450346986 |
| DOIs | |
| Publication status | Published - 2017 |
Generating hints and feedback for Hilbert-style axiomatic proofs
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review