机译:使用Prolog语言对逻辑电路进行分析和诊断
机译:使用Prolog语言对逻辑电路进行分析和诊断
机译:Vlsi电路中缺陷容限的序言:技术和良率分析
机译:通过TLS在加电逻辑电路上进行静态逻辑状态分析:疑似卡死故障模式的三个案例研究
机译:从PROLOG ++到PROLOG + CG:一种CG面向对象的逻辑编程语言
机译:NULL约定逻辑电路的评估与分析
机译:研究主题:从结构生物学到分子系统生物学:揭示癌症和神经变性中激酶活性调节机制的实验和计算方法:细胞间通信电路:合成逻辑门的定量分析
机译:逻辑编程语言Gdel和Prolog之间的比较
机译:诊断的图论理论方法:逻辑规划和割集理论在反应堆和电路分析方面的应用