Edinburgh Research Explorer

A Survey of Automated Deduction

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Standard

A Survey of Automated Deduction. / Bundy, Alan.

Artificial Intelligence Today: Recent Trends and Developments. ed. / Michael J. Wooldridge; Manuela Veloso. Springer Berlin Heidelberg, 1999. p. 153-174 (Lecture Notes in Computer Science; Vol. 1600).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Harvard

Bundy, A 1999, A Survey of Automated Deduction. in MJ Wooldridge & M Veloso (eds), Artificial Intelligence Today: Recent Trends and Developments. Lecture Notes in Computer Science, vol. 1600, Springer Berlin Heidelberg, pp. 153-174. https://doi.org/10.1007/3-540-48317-9_6

APA

Bundy, A. (1999). A Survey of Automated Deduction. In M. J. Wooldridge, & M. Veloso (Eds.), Artificial Intelligence Today: Recent Trends and Developments (pp. 153-174). (Lecture Notes in Computer Science; Vol. 1600). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-48317-9_6

Vancouver

Bundy A. A Survey of Automated Deduction. In Wooldridge MJ, Veloso M, editors, Artificial Intelligence Today: Recent Trends and Developments. Springer Berlin Heidelberg. 1999. p. 153-174. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-48317-9_6

Author

Bundy, Alan. / A Survey of Automated Deduction. Artificial Intelligence Today: Recent Trends and Developments. editor / Michael J. Wooldridge ; Manuela Veloso. Springer Berlin Heidelberg, 1999. pp. 153-174 (Lecture Notes in Computer Science).