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

Documents Authored by: Alistair Manning

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.

MSc Thesis

MT92133 1992 MSc Thesis Manning,AJ
Representing Preference in Proof Plans

Research Paper

RP633 1993 Research Paper Manning,AJ; Ireland,A; Bundy,A
Increasing the Versatility of Heuristic Based Theorem Provers

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