Division of Informatics
Forrest Hill & 80 South Bridge
|
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 | ||
| MT9659 | 1996 MSc Thesis | Pechoucek,M |
|---|---|---|
| Industrial Configuration and Proof Planning | ||
Paper in Conference Proceedings | ||
| PP1203 | 1997 Paper in Conference Proceedings | Pechoucek,M; Lowe,H; Bundy,A |
| Proof Planning and Industrial Configuration | ||
Research Paper | ||
| RP859 | 1997 Research Paper | Lowe,H; Pechoucek,M; Bundy,A |
| Proof Planning and Configuration | ||
| RP871 | 1997 Research Paper | Pechoucek,M; Lowe,H; Bundy,A |
| Proof Planning and Industrial Configuration | ||
| RP878 | 1997 Research Paper | Lowe,H; Pechoucek,M; Bundy,A |
| Proof Planning for Maintainable Configuration Systems | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}