The Use of Proof Planning for Cooperative Theorem Proving

H. Lowe; Alan Bundy; D. McLean

The Use of Proof Planning for Cooperative Theorem Proving

Research output: Contribution to journal › Article › peer-review

Export citation
[ RIS ]
[ BibTeX ]

Overview
Citation formats

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 journal › Article › peer-review

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.