Benzmüller and Vo. "Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs." AAAI Conference on Artificial Intelligence, 2005.
Markdown
[Benzmüller and Vo. "Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/benzmuller2005aaai-mathematical/)
BibTeX
@inproceedings{benzmuller2005aaai-mathematical,
title = {{Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs}},
author = {Benzmüller, Christoph and Vo, Quoc Bao},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2005},
pages = {516-522},
url = {https://mlanthology.org/aaai/2005/benzmuller2005aaai-mathematical/}
}