Browse by Person
 | Up a level |
Jump to: 2005 | 2 October 2022
Number of items: 2.
2005
Bundy, A. and Jamnik, M. and Fugard, Andi (2005) What is a proof? Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363 (1835), pp. 2377-2391. ISSN 1364-503X.
2 October 2022
Bundy, A. and Mareschal, Denis, eds. (2022) HLC 2022. Human-Like Computing Workshop 2022. CEUR Workshop Proceedings 3227. CEUR.