BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    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.

    This list was generated on Wed Oct 9 06:50:30 2024 BST.