temporal logic
英
美
- [计]时序逻辑；时态逻辑；暂时逻辑
双语例句
- And temporal logic can be extended.
可以扩展时态逻辑。 - We can also extend the language of temporal logic to include quantifiers over collections of values in databases.
我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
