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.
|
| Journal Paper
|
JP34
| 1991 Journal Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration
|
| Paper in Conference Proceedings
|
PP1203
| 1997 Paper in Conference Proceedings
| Pechoucek,M; Lowe,H; Bundy,A
|
| Proof Planning and Industrial Configuration
|
PP1204
| 1997 Paper in Conference Proceedings
| Whittle,JN; Bundy,A; Lowe,H
|
| Supporting Programming by Analogy in the Learning of Functional Programming Languages
|
PP1205
| 1997 Paper in Conference Proceedings
| Whittle,JN; Bundy,A; Lowe,H
|
| An Editor for helping Novices to Learn Standard {ML}
|
PP22
| 1991 Paper in Conference Proceedings
| Lowe,H
|
| the Use of Theorem Proving Techniques in Expert Systems for Configuration
|
| PhD Thesis
|
PT9313
| 1993 PhD Thesis
| Lowe,H
|
| The Application of Proof Plans to Computer Configuration Problems
|
| Research Paper
|
RP858
| 1997 Research Paper
| Whittle,JN; Bundy,A; Lowe,H
|
| An Editor for Helping Novices to Learn Standard Ml
|
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
|
RP745
| 1995 Research Paper
| Lowe,H; Bundy,A; McLean,D
|
| The Use of Proof Planning for Cooperative Theorem Proving
|
RP625
| 1993 Research Paper
| Lowe,J; Neveen,M; Lowe,H
|
| Cash Flow Management: an Expert System for the Construction Client
|
RP662
| 1993 Research Paper
| Lowe,H
|
| Proof Planning: a Methodology for Developing Ai Systems Involving Design
|
RP663
| 1993 Research Paper
| Lowe,H
|
| Proof Planning and Maintainability of Ai Systems
|
RP664
| 1993 Research Paper
| Lowe,H
|
| Synthesizing Computer Configurations from Specifications: Structuring Knowledge for Design
|
RP536
| 1991 Research Paper
| Lowe,H
|
| The Use of Theorem Proving Techniques in Expert Systems for Configuration
|
RP537
| 1991 Research Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration Problems
|
RP557
| 1991 Research Paper
| Lowe,H
|
| Synthesizing Hardware: Configuration Via Proof
|
| Technical Paper
|
TP20
| 1993 Technical Paper
| Lowe,H
|
| The Clem Configuration System
|