BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 2.

    Bundy, A. and Mareschal, Denis, eds. (2022) HLC 2022. Human-Like Computing Workshop 2022. CEUR Workshop Proceedings 3227. CEUR.

    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.

    This list was generated on Thu Oct 3 06:42:05 2024 BST.