Preface
Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems
A Proof Environment for Teaching Mathematics
Living Book – Deduction, Slicing, and Interaction