FOTL：一阶时间逻辑

“First Order Temporal Logic”经常缩写成FOTL，以便快捷书写、使用。

常见于综合领域 ,和未分类的相关。

中文意思为：“一阶时间逻辑”。

First Order Temporal Logic具体释义

  1. 英文缩写：FOTL
  2. 英语全称： First Order Temporal Logic
  3. 英语发音：
  4. 美式英语发音：
  5. 英式英语发音：
  6. 中文意思：一阶时间逻辑
  7. 中文拼音：yī jiē shí jiān luó jí
  8. 常用领域：综合
  9. 相关：未分类的

英文缩写词FOTL的例句

  1. Systems of first order temporal logic and an application to programs
  2. 一阶时态逻辑系统及其在程序中的一个应用
  3. First Order Interval Temporal Logic for Describing and Verifying Digital Circuits
  4. 用于描述和验证数字电路的一阶间隔时态逻辑
  5. This article presents a new kind of temporal logic & first order interval temporal logic ( FOITL ). It is first order logic augmented by interval operator in which there is no explicit reference point about time.
  6. 提出一种新的时态逻辑&一阶间隔时态逻辑（FOITL），它是扩充了间隔时间算子的一阶时态逻辑。

注意：

英文缩写词 FOTL 的含义,不止“First Order Temporal Logic”一个。

“FOTL”是什么缩写的意思？

本站收集到的FOTL英文缩写还有：

【学术科学】领域:

  1. Friends Of Tamworth Libraries 缩写成 “FOTL”. 中文意思是：Tamworth图书馆的朋友
  2. Friends Of The Library 缩写成 “FOTL”. 中文意思是：图书馆的朋友
  3. Friends Of Tennessee Libraries 缩写成 “FOTL”. 中文意思是：田纳西图书馆之友

【机构】领域:

  1. Follow-on To Lance 缩写成 “FOTL”. 中文意思是：兰斯的后续行动

【综合】领域:

  1. Friends Of The Law 缩写成 “FOTL”. 中文意思是：法律之友
  2. First Order Timed Logic 缩写成 “FOTL”. 中文意思是：一阶定时逻辑
  3. Friends Of Tully Lake 缩写成 “FOTL”. 中文意思是：图利湖之友

声明：

本站的英语缩略词，为个人收集、整理，允许非商业性质的复制、使用、转发分享等。
但严禁采集、批量盗用。
如果FOTL这个缩略词条信息有错误、不当、侵犯的地方，请联系我们进行处理。