Edinburgh Research Explorer

A Science of Reasoning (Extended Abstract)

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

Standard

A Science of Reasoning (Extended Abstract). / Bundy, Alan.

Automated Reasoning with Analytic Tableaux and Related Methods. ed. / Harrie de Swart. Vol. 1397 Springer International Publishing, 1998. p. 10-17.

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

Harvard

Bundy, A 1998, A Science of Reasoning (Extended Abstract). in H de Swart (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. vol. 1397, Springer International Publishing, pp. 10-17.

APA

Bundy, A. (1998). A Science of Reasoning (Extended Abstract). In H. de Swart (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods (Vol. 1397, pp. 10-17). Springer International Publishing.

Vancouver

Bundy A. A Science of Reasoning (Extended Abstract). In de Swart H, editor, Automated Reasoning with Analytic Tableaux and Related Methods. Vol. 1397. Springer International Publishing. 1998. p. 10-17.

Author

Bundy, Alan. / A Science of Reasoning (Extended Abstract). Automated Reasoning with Analytic Tableaux and Related Methods. editor / Harrie de Swart. Vol. 1397 Springer International Publishing, 1998. pp. 10-17