逻辑论文

2021-10-08基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究

2021-10-08国资监管制度建构逻辑与实施绩效研究 ——深圳市国资监管制度建设的社会学分析

2021-10-07蒯因本体论承诺学说研究

2021-10-07可编程逻辑控制器耐压测试系统的设计与实现

2021-10-07超快SOI微波导全光逻辑门的研究

2021-10-07基于相继式演算的一阶逻辑定理证明器设计与实现

2021-10-06Reed-Muller函数混合极性综合技术及在双逻辑综合中应用的研究

2021-10-05基于择多逻辑的算术运算单元设计

2021-10-01因果推断证成强人工智能的哲学叙事

2021-09-30多重逻辑下的城市社区治理创新研究

2021-09-30模糊情形下的疫情决策与风险管理

2021-09-30国家政策在农村的实践过程和逻辑 ——以农业特产税征收为例

2021-09-29胡塞尔意向逻辑的基本问题

2021-09-29电站锅炉燃烧器配风控制逻辑策略研究

2021-09-29索伦森“使真者—间隙认知主义”及其困境

2021-09-28蒙古族生态意识的逻辑研究

2021-09-28论西部银行业发展的逻辑与次序

2021-09-28莱布尼茨逻辑学的学术成就、历史影响和理论得失

2021-09-28R 0 -代数中的广义相对零化子

2021-09-28珠三角某地方政府城市规划实施行为选择研究 ——基于制度逻辑的分析框架

2021-09-27基于语料库对海事英语中逻辑结果程式语语义韵研究

2021-09-27基于腔QED的多比特量子逻辑门的实现

2021-09-25ES4541逻辑分析仪系统软件设计

2021-09-25电力机车逻辑控制单元检测台的研究与设计

2021-09-25逻辑斯蒂克模型中项目参数估计方法的研究

2021-09-25基于FPGA的组合逻辑电路自动合成的硬件实现

2021-09-24权利客体论 ——历史和逻辑的双重视角

2021-09-24趋利避害 ——自然选择塑造的领域特殊性归纳逻辑

2021-09-23基于双逻辑的功耗和面积优化技术

2021-09-23科学逻辑与辩证逻辑研究的新进展