请输入您要查询的字词:
单词
formal representation of time
释义
formal representation of time
Encyclopedia
文学
计算语言学
释
formal representation of time
时间形式化表示法
在一阶谓词演算中,采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。
随便看
regularized function
regularized gamma-function
regularized hypergeometric function
regularized long-wave equation
regularized product
regularized sequence
regularized solution
regularized sum
regularized trace
regularizer
regularizer of an operator
regularizing
regularizing distribution
regularizing kernel
regularizing minimizing sequence
regularizing operator
regular kernel
regular kernel distribution
regular knot projection
regular language
regular lattice
regular left ideal
regular Lie subgroup
regular linear system
regular linear transformation
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/6 5:19:21