退出
我的积分:
中文文献批量获取
外文文献批量获取
殷菌;
重庆市渝北职业教育中心;
逻辑函数化简; 意义; 消去法; Multisim仿真;
机译:计算外部逆的高斯-乔丹消去法
机译:在Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式
机译:基于单元素测试的刚度矩阵公式化简单方法
机译:LogScheme中的不确定性和统一性:集成逻辑和函数式编程
机译:QCA单元排列问题的逻辑公式。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:旋转快速高斯消去法求解有理Krylov矩阵的线性系统
机译:将分离公式简化为命题逻辑
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:预测逻辑公式创建设备,摘要日记规则创建设备,摘要日记规则设备,预测逻辑公式创建程序,摘要日记规则创建程序和摘要日记程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。