英语词汇temporal logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	temporal logic
释义	temporal logic 简明释义时间逻辑：一种用于表示和推理关于时间的逻辑系统，通常用于计算机科学、人工智能和哲学等领域。网络释义 1 ?时态逻辑 ...cription logics, temporal logics, spatial logics, combining logics, decidability. [gap=347]关键词：描述逻辑，时态逻辑，空间逻辑，组合逻辑，可判定性。短语 1 Temporal logics in AI 人工智能中的时序逻辑研究 2 Modal and Temporal Logics 模态和时态逻辑 3 Temporal belief logics 时态信念逻辑双语例句 1 Temporal logics are widely used in software verification and model checking. 时态逻辑在软件确认和模型检查中有广泛的应用。 2 There are a variety of temporal logics appropriate for a variety of reasoning tasks. 不同的时态逻辑能够适应不同的推理任务。 3 Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	Americani American Idol American Indian American Indian American-Indian architecture American Indian,Central American Indian Day American Indian Day american indian head start program American Indianist American-Indian language american indian languages american indian languages American Indian Movement American Indian,North American Indians American Indians,North American Indopacific province American Industrial Arts Association American Industrial Hygiene Association american industrial report american industry program american industry project American Institute Cargo american institute cargo insurance clauses

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。