Edinburgh Research Explorer

A proof-centric approach to mathematical assistants

Research output: Contribution to journalArticle

Standard

A proof-centric approach to mathematical assistants. / Dixon, Lucas; Fleuriot, Jacques.

In: Journal of applied logic, Vol. 4, No. 4, 2006, p. 505-532.

Research output: Contribution to journalArticle

Harvard

Dixon, L & Fleuriot, J 2006, 'A proof-centric approach to mathematical assistants', Journal of applied logic, vol. 4, no. 4, pp. 505-532. https://doi.org/10.1016/j.jal.2005.10.007

APA

Dixon, L., & Fleuriot, J. (2006). A proof-centric approach to mathematical assistants. Journal of applied logic, 4(4), 505-532. https://doi.org/10.1016/j.jal.2005.10.007

Vancouver

Dixon L, Fleuriot J. A proof-centric approach to mathematical assistants. Journal of applied logic. 2006;4(4):505-532. https://doi.org/10.1016/j.jal.2005.10.007

Author

Dixon, Lucas ; Fleuriot, Jacques. / A proof-centric approach to mathematical assistants. In: Journal of applied logic. 2006 ; Vol. 4, No. 4. pp. 505-532.