机译:计算单反:推理计算不可区分性的逻辑
State Key Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, P.O. Box 8718, Beijing 100190, China and State Key Laboratory for Novel Software Technology, Nanjing University;
机译:用于计算推理的两级逻辑方法
机译:ACC描述逻辑的简单并行推理系统中某些计算规则的实验分析
机译:在ALC描述逻辑的简单并行推理系统中一些计算规则的实验分析
机译:计算SLR:关于计算不可区分性的推理逻辑
机译:密码表达式不可区分性和非恶意性的形式推理的计算合理性。
机译:具有破坏对称的电路在生物网络中执行核心逻辑计算
机译:计算sLR:推理计算不可区分的逻辑