退出
我的积分:
中文文献批量获取
外文文献批量获取
黄林鹏; 孙永强;
上海交通大学计算机系;
200030;
线性逻辑; 逻辑程序设计;
机译:有限域上具有多项式约束的约束逻辑程序设计
机译:建模和求解技术对表式逻辑程序设计器性能影响的实验研究
机译:反应式约束逻辑程序设计实验
机译:模糊逻辑,逻辑程序设计和线性逻辑:对常识的新认识
机译:逻辑逻辑程序设计研究
机译:逻辑程序设计预测器官命运中的细胞命运模式并逆转基因型
机译:逻辑程序设计与约束逻辑程序设计中的多项式时间学习
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术
机译:用于离散优化的训练式诱导逻辑程序设计增强的深层信任网络模型。
机译:具有线性反馈的移位寄存器具有由各个逻辑门形成的“异或”逻辑,并且至少两个门连接到两个不同的触发器,这些触发器布置在触发器的上游,这些触发器的输出被馈送到逻辑
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。