退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在表达描述逻辑中具有基数限制和名词的推理的复杂性
Tobies S.;
机译:具有限定数量限制的扩展模糊描述逻辑的推理复杂性
机译:无限值Godel语义下非常有表现力的描述逻辑中的推理算法
机译:在模糊描述逻辑中具有合格基数限制的推理
机译:具有反作用和数量限制的基于Tableau的描述逻辑推理
机译:表达性模糊粗糙描述逻辑中的推理
机译:推理的复杂性与基数限制和命名 在表达描述逻辑
机译:实时逻辑:复杂性和表现力
机译:利用描述逻辑推理进行自动诊断的方法,系统和计算机程序
机译:具有描述逻辑推理的自动诊断方法,系统和计算机程序
机译:用于逻辑合成的逻辑电路延迟限制产生处理设备,将延迟限制值分配给逻辑电路的每个层级,并且输出到存储器以用于逻辑合成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。