退出
我的积分:
中文文献批量获取
外文文献批量获取
惠小静; 赵玛瑙; 高姣;
延安大学数学与计算机科学学院 延安716000;
四值逻辑系统L4*; 对称逻辑公式; 计数问题;
机译:在Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式
机译:连续马尔可夫逻辑-从完全公理化到公式的度量空间
机译:公式,只有一个原子配方在grzegorczyk逻辑和可证明的逻辑中
机译:一阶喇叭公式在公式逻辑中的高效编码
机译:基于自旋电子和忆阻器件的非对称逻辑函数的新型逻辑综合技术
机译:拟度量空间和度量空间中的近似蕴涵逻辑
机译:Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式(算术证明理论)
机译:逻辑电路综合中布尔函数的部分对称性
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:预测逻辑公式创建设备,摘要日记规则创建设备,摘要日记规则设备,预测逻辑公式创建程序,摘要日记规则创建程序和摘要日记程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。