LEADER 01279nam 2200397 450 001 996279367903316 005 20180313131253.0 010 $a1-5090-3825-6 035 $a(CKB)3710000000997112 035 $a(WaSeSS)IndRDA00094651 035 $a(EXLCZ)993710000000997112 100 $a20180313d2016 || | 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTIME 2016 $eproceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark /$fedited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger 210 1$aNew York :$cIEEE,$d2016. 215 $a1 online resource (x, 208 pages) 311 $a1-5090-3826-4 606 $aTemporal databases$vCongresses 606 $aTime$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 615 0$aTemporal databases 615 0$aTime 615 0$aLogic, Symbolic and mathematical 702 $aDyreson$b Curtis 702 $aHansen$b Michael R. 702 $aHunsberger$b Luke 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a996279367903316 996 $aTIME 2016$92539623 997 $aUNISA