DMCA

Automatically generating problems and solutions for natural deduction (2013)

by Umair Z. Ahmed , Sumit Gulwani , Amey Karkare
Venue:In IJCAI
Citations:8 - 4 self