circumscription reasoning
... 限定通道记录输出 limited channel logout 限定推理 circumscription reasoning 限定位 qualifying bit ...
基于72个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
限定模态信息流逻辑系统和限定信息流蕴涵逻辑能够表征容错性信息流推理。
Constrained modal IF logic and constrained IF implication logic can both represent fallible IF inferences.
youdao
应用推荐
模块上移
模块下移
不移动