An Application to Teaching in Logic Course of ATP Based Natural Deduction.

Li Dafa

Browse the full LPAR paper archive.