Edinburgh Research Explorer

An Intelligent Tutoring System for Induction Proofs

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

Standard

An Intelligent Tutoring System for Induction Proofs. / Bundy, Alan; Moore, Johanna; Zinn, Claus.

CADE-17 Workshop on Automated Deduction in Education. 2000. p. 4-13.

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

Harvard

Bundy, A, Moore, J & Zinn, C 2000, An Intelligent Tutoring System for Induction Proofs. in CADE-17 Workshop on Automated Deduction in Education. pp. 4-13.

APA

Bundy, A., Moore, J., & Zinn, C. (2000). An Intelligent Tutoring System for Induction Proofs. In CADE-17 Workshop on Automated Deduction in Education (pp. 4-13)

Vancouver

Bundy A, Moore J, Zinn C. An Intelligent Tutoring System for Induction Proofs. In CADE-17 Workshop on Automated Deduction in Education. 2000. p. 4-13.

Author

Bundy, Alan ; Moore, Johanna ; Zinn, Claus. / An Intelligent Tutoring System for Induction Proofs. CADE-17 Workshop on Automated Deduction in Education. 2000. pp. 4-13