Christoph Benzmüller, Quoc Bao Vo. Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 516-522, AAAI Press / The MIT Press, 2005.
@inproceedings{BenzmullerV05,
title = {Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs},
author = {Christoph Benzmüller and Quoc Bao Vo},
year = {2005},
tags = {domain-specific language},
researchr = {https://researchr.org/publication/BenzmullerV05},
cites = {0},
citedby = {0},
pages = {516-522},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA},
editor = {Manuela M. Veloso and Subbarao Kambhampati},
publisher = {AAAI Press / The MIT Press},
isbn = {1-57735-236-X},
}