01281nam 2200397 450 991017187630332120180313131253.01-5090-3825-6(CKB)3710000000997112(WaSeSS)IndRDA00094651(EXLCZ)99371000000099711220180313d2016 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrierTIME 2016 proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark /edited by Curtis Dyreson, Michael R. Hansen, Luke HunsbergerNew York :IEEE,2016.1 online resource (x, 208 pages)1-5090-3826-4 Temporal databasesCongressesTimeCongressesLogic, Symbolic and mathematicalCongressesTemporal databasesTimeLogic, Symbolic and mathematicalDyreson CurtisHansen Michael R.Hunsberger LukeWaSeSSWaSeSSPROCEEDING9910171876303321TIME 20162539623UNINA