%0 Journal Article %1 journals/dke/HoracekW06 %A Horacek, Helmut %A Wolska, Magdalena %D 2006 %J Data Knowl. Eng. %K dblp %N 1 %P 90-106 %T Interpreting semi-formal utterances in dialogs about mathematical proofs. %U http://dblp.uni-trier.de/db/journals/dke/dke58.html#HoracekW06 %V 58

@article{journals/dke/HoracekW06, added-at = {2006-12-20T00:00:00.000+0100}, author = {Horacek, Helmut and Wolska, Magdalena}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c538e42d6dc7348bae358db01c5ab1e9/dblp}, ee = {http://dx.doi.org/10.1016/j.datak.2005.05.010}, interhash = {e8f13d86a9b6ed4bf098e51512660468}, intrahash = {c538e42d6dc7348bae358db01c5ab1e9}, journal = {Data Knowl. Eng.}, keywords = {dblp}, number = 1, pages = {90-106}, timestamp = {2016-02-02T06:25:21.000+0100}, title = {Interpreting semi-formal utterances in dialogs about mathematical proofs.}, url = {http://dblp.uni-trier.de/db/journals/dke/dke58.html#HoracekW06}, volume = 58, year = 2006 }