try one of my other pages ...
PropPlan: AI planning
PropSat: model-based reasoning
come and study at Edinburgh ...
An Introduction to Algorithms and Datastructures in SML
This course was given at the University of Western Australia, in Perth, WA, February-June 1994. The notes here have been resurected from my archives, and are in some places incomplete or under revision.
Some of the material was taken or derived from earlier deliveries of the University of Edinburgh Computer Science 2 course I taught together with Gordon Brebner and Kevin Mitchell. Contributors to individual notes are recorded in the page headers.
- KM
- Kevin Mitchell
- GB
- Gordon Brebner
- MPF
- Michael Fourman