Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology.

Frank Ng, Gregory Butler

Browse the full ICCI paper archive.