Proceedings

Umair Z. Ahmed

1 paper in the IJCAI proceedings

IJCAI 2013

Automatically Generating Problems and Solutions for Natural Deduction
with Sumit Gulwani, Amey Karkare
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards