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

• Authors:

• Frank Ng;Gregory Butler

• Affiliations:

• -;-

• Venue:
• ICCI '93 Proceedings of the Fifth International Conference on Computing and Information
• Year:
• 1993