退出
我的积分:
中文文献批量获取
外文文献批量获取
雷念曾;
无;
机译:不是从标准谓词逻辑派生的推理形式化
机译:布尔算子模糊逻辑中的推理形式主义
机译:试论清代司法实践中比附适用的类比方法——以《刑案汇览三编》为例
机译:类比,反类比和寄生逻辑比例的多值逻辑解释
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:协议和危害法规中的安全推理形式化。
机译:剖析作为一种逻辑推理形式,以解决犯罪现场的争议情节
机译:类比推理的逻辑方法。
机译:乘数± Sup> [n i Sub>]和± Sup> [m j Sub>]-乘积f Σ Sub>(Σ)的相加金字塔形结构的“互补代码”,用于累加± Sup> f 1 < / Sub>(Σ)和实现其的功能设计(俄罗斯逻辑版本)
机译:类比平面布局在逻辑设计中放置逻辑功能和单元的方法
机译:产生混合电路和逻辑或类比混合电路的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。