... Mobius transformation 麦比乌斯变换 modal calculus 模态演算 modal class 众数组 ...
基于12个网页-相关网页
模型和状态演算 Situation Calculus
·2,447,543篇论文数据，部分数据来源于NoteExpress
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
youdao
应用推荐
模块上移
模块下移
不移动