登入選單
返回Google圖書搜尋
註釋Presents papers from a May 1999 workshop, bringing together research in diverse fields such as temporal and spatiotemporal databases, temporal logic, and spatiotemporal reasoning, as well as related applications. Topics include a system for reasoning with nonconvex intervals, symbolic representation