计算机工程2007，Vol.33Issue(8)：45-47,50,4.
结合度量空间和时间的逻辑
Logic of Metric Space and Time
摘要
关键词
时态逻辑/度量空间/距离/时空推理分类
信息技术与安全科学引用本文复制引用
谢琦,刘大有,虞强源,吕策..结合度量空间和时间的逻辑[J].计算机工程,2007,33(8):45-47,50,4.基金项目
国家自然科学基金资助重大项目"非规范知识处理的基本理论和核心技术"(60496321) （60496321）
国家自然科学基金资助项目(60373098,60173006) （60373098,60173006）
国家"863"计划基金资助项目(2003AA118020) （2003AA118020）
吉林省科技发展计划基金资助重大项目(20020303) （20020303）
吉林省科技发展计划基金资助项目(20030523) （20030523）
