City, University of London Library

    City Research Online - REF2029 Test

    Items where Author is "Komendantskaya, E."

    [up] Up a level
    Group by: Type | No Grouping
    Number of items: 1.

    Komendantskaya, E., Broda, K. & Garcez, A. (2010). Using inductive types for ensuring correctness of neuro-symbolic computations. Paper presented at the 6th Conference on Computability in Europe, CiE 2010, 30 June - 4 July 2010, Ponta Delgada, Portugal.

    This list was generated on Mon Oct 12 03:21:43 2026 UTC.