时间形式化表示法 - 中国百科网

高级检索

专业板块专题板块大众板块

首页

时间形式化表示法

/formal representation of time/

最后更新 2023-11-08

浏览 254次

最后更新 2023-11-08

浏览 254次

0 意见反馈一键引用

在一阶谓词演算中，采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。

英文名称: formal representation of time

所属学科: 语言文字

阅读历史

版权所有 © 2025 中国大百科全书出版社
Copyrights © 2025 by Encyclopedia of China Publishing House.All Rights Reserved
京ICP备13020690号-4 京公网安备 11010202008139号
网络出版服务许可证：(署)网出证(京)字第155号

意见反馈

感谢您的反馈

我们会尽快处理您的反馈！

谢谢！