退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
Palla, Ravi;
Arizona State University;
机译:缩小面向对象和逻辑编程之间的差距
机译:古典句子逻辑的形式主义
机译:对约束逻辑编程进行决策分析的扩展形式主义
机译:构建用于逻辑编程和经典逻辑集成的知识库系统
机译:逻辑主义,形式主义和直觉主义的中心命题的考察:对学校数学程序发展的启示。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:介绍介绍数字逻辑实验室中离散和可编程逻辑的差距
机译:“可重构逻辑图”格式的可编程数字设备
机译:逻辑电路动态可编程逻辑阵列,具有NMOS基极晶体管和两个并联排列的晶体管,其中流过NMOS基极晶体管的电流参数由电阻值确定
机译:基于可编程逻辑电路的可编程逻辑电路中的存储器操作方法和存储器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。