A Java editor based on proofsas -programs (1998)

by A Blewitt
Venue:Unpublished M.Sc. thesis, Department of Artificial Intelligence