Umair Z. Ahmed, Sumit Gulwani, Amey Karkare. Automatically Generating Problems and Solutions for Natural Deduction. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 1968-1975, IJCAI/AAAI, 2013. [doi]
@inproceedings{AhmedGK13,
title = {Automatically Generating Problems and Solutions for Natural Deduction},
author = {Umair Z. Ahmed and Sumit Gulwani and Amey Karkare},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6960},
researchr = {https://researchr.org/publication/AhmedGK13},
cites = {0},
citedby = {0},
pages = {1968-1975},
booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
editor = {Francesca Rossi},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-633-2},
}