Edinburgh Research Explorer

The Use of Proof Planning for Cooperative Theorem Proving

Research output: Contribution to journalArticle

Standard

The Use of Proof Planning for Cooperative Theorem Proving. / Lowe, H.; Bundy, Alan; McLean, D.

In: Journal of Symbolic Computation, Vol. 25, 1998.

Research output: Contribution to journalArticle

Harvard

Lowe, H, Bundy, A & McLean, D 1998, 'The Use of Proof Planning for Cooperative Theorem Proving', Journal of Symbolic Computation, vol. 25.

APA

Lowe, H., Bundy, A., & McLean, D. (1998). The Use of Proof Planning for Cooperative Theorem Proving. Journal of Symbolic Computation, 25.

Vancouver

Lowe H, Bundy A, McLean D. The Use of Proof Planning for Cooperative Theorem Proving. Journal of Symbolic Computation. 1998;25.

Author

Lowe, H. ; Bundy, Alan ; McLean, D. / The Use of Proof Planning for Cooperative Theorem Proving. In: Journal of Symbolic Computation. 1998 ; Vol. 25.