1) branching-time temporal logic
分支时间瞬时逻辑
2) computational tree logic
分支时态逻辑
3) Temporal logic
时间逻辑
1.
Temporal logic is a branch of Philosophical logic,which investigates the proposition and inference including time.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
4) Time logic
时间逻辑
1.
Analyzing of a knowledge representation method based on time logic;
基于时间逻辑的知识表示方法分析
5) logical time
逻辑时间
1.
The problem of the distributed interactive simulation based on HLA/RTI and logical time is discussed.
基于 HLA/RTI 的采用逻辑时间的分布式交互仿真,分析了 HLA 中的可重复性问题,并对事件的定序进行了深入研究,提出一种可以保证并发事件执行顺序的时戳描述,最后给出了实现方法。
6) logical time stamp
逻辑时间戳
补充资料：分支
分子式：
CAS号：
性质： 当某个参数的值通过某个临界值时，有些非线性方程的解的数目会发生突然的变化。这种现象在数学中称为分岔(也称为分叉或分支)现象。它可以用来模拟物理化学系统从一种状态突变到另一种状态的现象。
CAS号：
性质： 当某个参数的值通过某个临界值时，有些非线性方程的解的数目会发生突然的变化。这种现象在数学中称为分岔(也称为分叉或分支)现象。它可以用来模拟物理化学系统从一种状态突变到另一种状态的现象。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条