Problem Solving in Interactive Proof: A Knowledge-Modelling Approach

J. Stuart Aitken. Problem Solving in Interactive Proof: A Knowledge-Modelling Approach. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 335-339, John Wiley and Sons, Chichester, 1996.

Abstract

Abstract is missing.