Automatic Generation of Proof Problems in Deductive Logic.

Behrooz Mostafavi, Tiffany Barnes, Marvin J. Croy

Browse the full EDM paper archive.