...
机译:布尔代数的向量矩阵表示及其在扩展谓词逻辑(EPL)中的应用-第I +部分
机译:布尔代数的向量矩阵表示及其在扩展谓词逻辑(EPL)中的应用-第二部分
机译:谓词选择和合成处理器的综合中的连续逻辑函数表示。
机译:用于异步准延迟不敏感逻辑的扩展布尔代数
机译:谓词逻辑的代数表示法(扩展摘要)
机译:通过对金微丝上的镍纳米点进行磁操纵来制造布尔代数逻辑门。
机译:多元布尔代数中的谓词术语运算和等式
机译:半布尔代数及其应用于双操作的直觉逻辑
机译:一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用