equal
deleted
inserted
replaced
166 } |
166 } |
167 |
167 |
168 @InProceedings{gdaroczy-EP-13, |
168 @InProceedings{gdaroczy-EP-13, |
169 author = {Gabriella Dar\'{o}czy and Walther Neuper}, |
169 author = {Gabriella Dar\'{o}czy and Walther Neuper}, |
170 booktitle = {unknown}, |
170 booktitle = {unknown}, |
171 title = {Exploitation of ``Next-Step-Guidance'' in a {TP}-based Math Assistant}, |
171 title = {Error-Patterns within ``Next-Step-Guidance'' in TP-based Educational Systems}, |
172 OPTpages = {TODO-TODO}, |
172 OPTpages = {TODO-TODO}, |
173 crossref = {eduTPS-12} |
173 crossref = {eduTPS-12}, |
|
174 note = {to appear in this publication} |
174 } |
175 } |
175 |
176 |
176 |
177 |
177 @Proceedings{eduTPS-12, |
178 @Proceedings{eduTPS-12, |
178 title = {Theorem-Prover based Systems for Education (eduTPS)}, |
179 title = {Theorem-Prover based Systems for Education (eduTPS)}, |