Edinburgh Research Explorer

An Intelligent Tutoring System for Induction Proofs

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

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

Download statistics

No data available

ID: 18579918