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 |