Edinburgh Research Explorer

Analysing Mathematical Proofs (or Reading between the Lines)

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

Standard

Analysing Mathematical Proofs (or Reading between the Lines). / Bundy, Alan.

Proceedings of the 4th international joint conference on Artificial Intelligence -. 1975.

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

Harvard

Bundy, A 1975, Analysing Mathematical Proofs (or Reading between the Lines). in Proceedings of the 4th international joint conference on Artificial Intelligence -.

APA

Bundy, A. (1975). Analysing Mathematical Proofs (or Reading between the Lines). In Proceedings of the 4th international joint conference on Artificial Intelligence -

Vancouver

Bundy A. Analysing Mathematical Proofs (or Reading between the Lines). In Proceedings of the 4th international joint conference on Artificial Intelligence -. 1975

Author

Bundy, Alan. / Analysing Mathematical Proofs (or Reading between the Lines). Proceedings of the 4th international joint conference on Artificial Intelligence -. 1975.