机译:通过无限联结表示任何时间和程序迭代
Faculty of Information Technology and Business, Cyber University, Japan Cyber Educational Institute, Tokyo, Japan;
any-time operator; program-iteration operator; infinitary conjunction; completeness theorem; cut-elimination theorem; Prior's tense logic;
机译:通过显式表示的连词改进删除松弛启发式
机译:通过显式表示的连词改进删除松弛启发式
机译:形状和颜色连接刺激表示为视觉工作记忆中的绑定对象。
机译:基于可表示合取的区间值模糊联想记忆及其在预测中的应用
机译:关于小红衣主教的细节组合学和连续体的基数
机译:形状和颜色结合刺激在视觉工作存储器中表示为绑定对象
机译:缩写结合等级,代表逻辑方程的根源
机译:用于表示连接风险的调整单参数