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


Documents Authored by: Alex Nunes

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

MT92137 1992 MSc Thesis Nunes,A
Summing Series with Proof Plans

Paper in Conference Proceedings

PP185 1992 Paper in Conference Proceedings Walsh,T; Nunes,A; Bundy,A
the Use of Proof Plans to Sum Series
PP236 1992 Paper in Conference Proceedings Bundy,A; Walsh,T; Nunes,A
the Use of Proof Plans to Sum Series

Research Paper

RP563 1991 Research Paper Walsh,T; Nunes,A; Bundy,A
The Use of Proof Plans to Sum Series


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