An Intelligent Tutoring System for Induction Proofs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCADE-17 Workshop on Automated Deduction in Education
Pages4-13
Number of pages10
Publication statusPublished - Jun 2000

Cite this