Automatically Generating Problems and Solutions for Natural Deduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Umair Z. Ahmed' in GoogleThis author has not been identified. Look up 'Sumit Gulwani' in GoogleThis author has not been identified. Look up 'Amey Karkare' in Google

runs on WebDSL