Edinburgh Research Explorer

On Automating Diagrammatic Proofs of Arithmetic Arguments

Research output: Contribution to journalArticle

Standard

On Automating Diagrammatic Proofs of Arithmetic Arguments. / Jamnik, M.; Bundy, Alan; Green, I.

In: Journal of Logic, Language and Information, Vol. 8, No. 3, 1999.

Research output: Contribution to journalArticle

Harvard

Jamnik, M, Bundy, A & Green, I 1999, 'On Automating Diagrammatic Proofs of Arithmetic Arguments', Journal of Logic, Language and Information, vol. 8, no. 3.

APA

Jamnik, M., Bundy, A., & Green, I. (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information, 8(3).

Vancouver

Jamnik M, Bundy A, Green I. On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information. 1999;8(3).

Author

Jamnik, M. ; Bundy, Alan ; Green, I. / On Automating Diagrammatic Proofs of Arithmetic Arguments. In: Journal of Logic, Language and Information. 1999 ; Vol. 8, No. 3.