机译:认知概率论证的多项式时间片段
Univ Osnabruck Osnabruck Germany;
Probabilistic argumentation; Probabilistic reasoning; Complexity of probabilistic argumentation;
机译:认知二维论与认知论证
机译:基于论证查询(ABI)科学课中课堂学生认知思想的特征与变化
机译:使用概率论逻辑规范验证并发概率论系统
机译:概率认知论证片段中的认知状态多项式时间更新
机译:概率多项式时间过程演算,用于分析密码协议。
机译:可实现的概率幅度整形信息率:通过随机标志编码参数的替代方法
机译:认知扩张与不完全概率论的概率论证 信息
机译:自动认知逻辑若干片段的可追踪演绎