Edinburgh Research Explorer

Ascertaining Mathematical Theorems

Research output: Contribution to journalArticle

Standard

Ascertaining Mathematical Theorems. / McCasland, R.; Bundy, Alan; Smith, P.

In: Electronic Notes in Theoretical Computer Science, Vol. 151, No. 1, 2006, p. 21-38.

Research output: Contribution to journalArticle

Harvard

McCasland, R, Bundy, A & Smith, P 2006, 'Ascertaining Mathematical Theorems' Electronic Notes in Theoretical Computer Science, vol. 151, no. 1, pp. 21-38. DOI: 10.1016/j.entcs.2005.11.021

APA

McCasland, R., Bundy, A., & Smith, P. (2006). Ascertaining Mathematical Theorems. Electronic Notes in Theoretical Computer Science, 151(1), 21-38. DOI: 10.1016/j.entcs.2005.11.021

Vancouver

McCasland R, Bundy A, Smith P. Ascertaining Mathematical Theorems. Electronic Notes in Theoretical Computer Science. 2006;151(1):21-38. Available from, DOI: 10.1016/j.entcs.2005.11.021

Author

McCasland, R. ; Bundy, Alan ; Smith, P./ Ascertaining Mathematical Theorems. In: Electronic Notes in Theoretical Computer Science. 2006 ; Vol. 151, No. 1. pp. 21-38