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.
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology > Computer Science |
![[img]](/style/images/fileicons/application_pdf.png)
|
PDF
Download (238kB) | Preview |
Official URL: http://www.springerlink.com/content/105633/
Export
Downloads
Downloads per month over past year
Metadata
Metadata