Edinburgh Research Explorer

Proof Planning and Configuration

Research output: Contribution to conferencePaper

Standard

Proof Planning and Configuration. / Lowe, H.; Pechouchek, M.; Bundy, Alan.

1996. Paper presented at The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96), Hino, Tokyo, Japan.

Research output: Contribution to conferencePaper

Harvard

Lowe, H, Pechouchek, M & Bundy, A 1996, 'Proof Planning and Configuration' Paper presented at The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96), Hino, Tokyo, Japan, 16/10/96 - 18/10/96, .

APA

Lowe, H., Pechouchek, M., & Bundy, A. (1996). Proof Planning and Configuration. Paper presented at The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96), Hino, Tokyo, Japan.

Vancouver

Lowe H, Pechouchek M, Bundy A. Proof Planning and Configuration. 1996. Paper presented at The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96), Hino, Tokyo, Japan.

Author

Lowe, H. ; Pechouchek, M. ; Bundy, Alan. / Proof Planning and Configuration. Paper presented at The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96), Hino, Tokyo, Japan.