Edinburgh Research Explorer

Abstract proof checking: an example motivated by an incompleteness theorem

Research output: Contribution to journalArticle

Standard

Abstract proof checking: an example motivated by an incompleteness theorem. / Bundy, Alan; Giunchiglia, F.; Villafiorita, F.; Walsh, T.

In: the Journal of Automated Reasoning, Vol. 19, No. 3, 1997.

Research output: Contribution to journalArticle

Harvard

Bundy, A, Giunchiglia, F, Villafiorita, F & Walsh, T 1997, 'Abstract proof checking: an example motivated by an incompleteness theorem', the Journal of Automated Reasoning, vol. 19, no. 3.

APA

Bundy, A., Giunchiglia, F., Villafiorita, F., & Walsh, T. (1997). Abstract proof checking: an example motivated by an incompleteness theorem. the Journal of Automated Reasoning, 19(3).

Vancouver

Bundy A, Giunchiglia F, Villafiorita F, Walsh T. Abstract proof checking: an example motivated by an incompleteness theorem. the Journal of Automated Reasoning. 1997;19(3).

Author

Bundy, Alan ; Giunchiglia, F. ; Villafiorita, F. ; Walsh, T. / Abstract proof checking: an example motivated by an incompleteness theorem. In: the Journal of Automated Reasoning. 1997 ; Vol. 19, No. 3.