请输入您要查询的字词:
单词
时间形式化表示法
释义
时间形式化表示法
Encyclopedia
文学
计算语言学
释
formal representation of time
时间形式化表示法
在一阶谓词演算中,采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。
随便看
Brownists
Brown James Duff
brown kiwi
brown leaf spot of cassava
brown long-eared bat
brown-marbled grouper
Brown McCoy radical
Brown-McCoy radical
brownmillerite
Brown motion
brown paper nautilus
Brown-Peterson spectrum
brownrat
brown rice
brown rot
brown rust of rye
Brown-Shield-Zeller theorem
brown shrimp
Brown's lunar theory
Brown Sparrow in Wild Fields: A Ballad
brown spot needle blight
brown-striped mackerel scad
Brownsville Ecological Industrial Park
brown Swiss cattle
brown tide
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/16 2:31:30