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

@phdthesis{phd/ethos/Borges12, added-at = {2022-04-05T00:00:00.000+0200}, author = {Borges, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/247ef840ac7f765778958d0ac6bf66726/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555446}, interhash = {442b18b3ef0294da8783dc91f0744cbb}, intrahash = {47ef840ac7f765778958d0ac6bf66726}, keywords = {dblp}, note = {British Library, EThOS}, school = {City University London, UK}, timestamp = {2024-04-09T08:54:18.000+0200}, title = {A neural-symbolic system for temporal reasoning with application to model verification and learning.}, year = 2012 }