Edinburgh Research Explorer

Discovery and Reasoning in Mathematics

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

Standard

Discovery and Reasoning in Mathematics. / Bundy, Alan.

Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2. 1985.

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

Harvard

Bundy, A 1985, Discovery and Reasoning in Mathematics. in Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2.

APA

Bundy, A. (1985). Discovery and Reasoning in Mathematics. In Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2

Vancouver

Bundy A. Discovery and Reasoning in Mathematics. In Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2. 1985

Author

Bundy, Alan. / Discovery and Reasoning in Mathematics. Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2. 1985.