机译:用可编程逻辑器件(PLD)实现的数字逻辑系统综合的逻辑函数分解方法
机译:可编程逻辑器件实现的数字逻辑系统综合的逻辑功能分解方法
机译:基于可编程逻辑设备的有限自动机逻辑结构设计的集成方法
机译:在逻辑和系统级别教授数字计算机设计的逻辑方法
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:核酸合成中的计算机程序:使用具有数据存储检索和分析功能的固相化学技术开发合成策略。
机译:基于命题逻辑和概率论相结合的逻辑信息检索模型