K.Iwanuma, M.Harao, S.Noguchi: "The Completeness of Temporal and Spatial Logic ETSL" Trans. of IECE JAPAN. Vol.J69-D,No.4. 491-501 (1986)
K.Iwanuma, M.Harao, S.Noguchi: "The Completeness of Temporal and Spatial Logic ETSL" Trans. of IECE JAPAN. Vol.J69-D,No.4. 491-501 (1986)
复制标题
K.Iwanuma、M.Harao、S.Noguchi：“时空逻辑的完整性 ETSL”译。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
