The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents Authored by: Stephen Cresswell

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Discussion Paper

DP186 1997 Discussion Paper Cresswell,SN
Planning and Theorem Proving - phd Thesis Proposal

Research Paper

RP866 1997 Research Paper Colton,SG; Cresswell,SN; Bundy,A
The Use of Classification in Automated Mathematical Concept Formation


[Search These Pages] [DAI Home Page] [Comment]