Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor

Details

Database :

OAIster

Notes :

English

Publication Type :

Electronic Resource

Accession number :

edsoai.on1416068253

Document Type :

Electronic Resource