结合度量空间和时间的逻辑

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

结合度量空间和时间的逻辑

谢琦;刘大有;虞强源;吕策

Logic of Metric Space and Time

XIE Qi; LIU Dayou; YU Qiangyuan; LV Ce

计算机工程 . 2007, (08): 45 -47 . DOI: 10.3969/j.issn.1000-3428.2007.08.015