%0 Thesis %1 phd/ethos/Borges12 %A Borges, Rafael %D 2012 %K %T A neural-symbolic system for temporal reasoning with application to model verification and learning.

@phdthesis{phd/ethos/Borges12, added-at = {2023-12-12T21:52:50.000+0100}, author = {Borges, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/247ef840ac7f765778958d0ac6bf66726/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555446}, interhash = {442b18b3ef0294da8783dc91f0744cbb}, intrahash = {47ef840ac7f765778958d0ac6bf66726}, keywords = {}, note = {British Library, EThOS}, school = {City University London, UK}, timestamp = {2023-12-12T21:52:50.000+0100}, title = {A neural-symbolic system for temporal reasoning with application to model verification and learning.}, year = 2012 }