Edinburgh Research Explorer

Proof Planning and Industrial Configuration

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

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

PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG. Practical Application Co Ltd , 1997.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Pechoucek, M, Lowe, H & Bundy, A 1997, Proof Planning and Industrial Configuration. in PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG. Practical Application Co Ltd , The practical application of PROLOG: Proceedings of the Fifth Practical Application of Prolog, London, United Kingdom, 22/04/97.

APA

Pechoucek, M., Lowe, H., & Bundy, A. (1997). Proof Planning and Industrial Configuration. In PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG Practical Application Co Ltd .

Vancouver

Pechoucek M, Lowe H, Bundy A. Proof Planning and Industrial Configuration. In PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG. Practical Application Co Ltd . 1997.

Author

Pechoucek, M. ; Lowe, H. ; Bundy, Alan. / Proof Planning and Industrial Configuration. PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG. Practical Application Co Ltd , 1997.