%0 Conference Paper %1 conf/mkm/CorneliMMP17 %A Corneli, Joseph %A Martin, Ursula %A Murray-Rust, Dave %A Pease, Alison %B CICM %D 2017 %E Geuvers, Herman %E England, Matthew %E Hasan, Osman %E Rabe, Florian %E Teschke, Olaf %I Springer %K dblp %P 132-146 %T Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#CorneliMMP17 %V 10383 %@ 978-3-319-62075-6

@inproceedings{conf/mkm/CorneliMMP17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison}, biburl = {https://www.bibsonomy.org/bibtex/2945bf722462d6d54171426d8f32f8ae2/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2017}, editor = {Geuvers, Herman and England, Matthew and Hasan, Osman and Rabe, Florian and Teschke, Olaf}, ee = {https://doi.org/10.1007/978-3-319-62075-6_10}, interhash = {09341cb13e74c390f97bd92182dc1533}, intrahash = {945bf722462d6d54171426d8f32f8ae2}, isbn = {978-3-319-62075-6}, keywords = {dblp}, pages = {132-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:30.000+0200}, title = {Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#CorneliMMP17}, volume = 10383, year = 2017 }