City Research Online

Items where Author is "Komendantskaya, E."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
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 Sat Aug 13 07:09:09 2022 UTC.