Edinburgh Research Explorer

Automated Reasoning in the Age of the Internet

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

Standard

Automated Reasoning in the Age of the Internet. / Bundy, Alan; Nuamah, Kwabena; Lucas, Christopher.

13th International Conference on Artificial Intelligence and Symbolic Computation. Vol. LNAI 11110 Suzhou, China : Springer, Cham, 2018. p. 3-18.

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

Harvard

Bundy, A, Nuamah, K & Lucas, C 2018, Automated Reasoning in the Age of the Internet. in 13th International Conference on Artificial Intelligence and Symbolic Computation. vol. LNAI 11110, Springer, Cham, Suzhou, China, pp. 3-18, 13th International Conference on Artificial Intelligence and Symbolic Computation, Suzhou, China, 16/09/18. DOI: 10.1007/978-3-319-99957-9_1

APA

Bundy, A., Nuamah, K., & Lucas, C. (2018). Automated Reasoning in the Age of the Internet. In 13th International Conference on Artificial Intelligence and Symbolic Computation (Vol. LNAI 11110, pp. 3-18). Suzhou, China: Springer, Cham. DOI: 10.1007/978-3-319-99957-9_1

Vancouver

Bundy A, Nuamah K, Lucas C. Automated Reasoning in the Age of the Internet. In 13th International Conference on Artificial Intelligence and Symbolic Computation. Vol. LNAI 11110. Suzhou, China: Springer, Cham. 2018. p. 3-18. Available from, DOI: 10.1007/978-3-319-99957-9_1

Author

Bundy, Alan ; Nuamah, Kwabena ; Lucas, Christopher. / Automated Reasoning in the Age of the Internet. 13th International Conference on Artificial Intelligence and Symbolic Computation. Vol. LNAI 11110 Suzhou, China : Springer, Cham, 2018. pp. 3-18