University of Denver.;
机译:分子逻辑:从单逻辑门到复杂的逻辑电路,从基本科学到实际应用
机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:基于不确定度量时态逻辑的逻辑可判定性
机译:将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
机译:具有双轴磁晶各向异性的多铁性纳米磁体在四态纳米磁逻辑中的应用以及两态多铁性纳米磁逻辑的实验。
机译:加强局部LED解决方案以实现通用健康覆盖:贝宁纳米比亚和乌干达的应用逻辑模型
机译:区间逻辑在英语时态和方面研究中的应用
机译:用于低功耗移动应用项目的高级逻辑综合组合逻辑综合研究报告