请输入您要查询的字词:
单词
时间形式化表示法
释义
时间形式化表示法
Encyclopedia
文学
计算语言学
释
formal representation of time
时间形式化表示法
在一阶谓词演算中,采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。
随便看
极紫外
极紫外光刻技术
极紫外天文学
极紫外射线
极紫外探测器
极紫外星
极紫外星系
极紫外源
极紫外背景
极紫外背景辐射
极紫外辐射
极红天体
极线
极线几何
极细胞
极缘
极网
极群
极羽
极臂
极行列式
极表示
极角
极谱
极谱仪
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/5 9:59:38