To search, Click below search items.
All Published Papers Search Service
Title
Logic of Integrating Metric Space and Time
Author
Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Vol. 6 No. 1 pp. 168~172
Keywords
Temporal logic, metric space, distance, spatio-temporal reasoning