Edinburgh Research Explorer

Agent based cooperative theory formation in pure mathematics

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

Standard

Agent based cooperative theory formation in pure mathematics. / Colton, Simon; Bundy, Alan; Walsh, Toby.

Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science. 2000. p. 11-18.

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

Harvard

Colton, S, Bundy, A & Walsh, T 2000, Agent based cooperative theory formation in pure mathematics. in Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science. pp. 11-18.

APA

Colton, S., Bundy, A., & Walsh, T. (2000). Agent based cooperative theory formation in pure mathematics. In Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science (pp. 11-18)

Vancouver

Colton S, Bundy A, Walsh T. Agent based cooperative theory formation in pure mathematics. In Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science. 2000. p. 11-18.

Author

Colton, Simon ; Bundy, Alan ; Walsh, Toby. / Agent based cooperative theory formation in pure mathematics. Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science. 2000. pp. 11-18