机译:以共轭布尔代数为特征的逻辑(克隆理论与离散数学・与计算机科学相关的代数与逻辑)
机译:在第六届国际数学与模拟计算机协会(IMACS)计算机代数应用会议(ACA'2000)上的会议“科学与工程中的间隔和计算机代数方法”
机译:一种改进的极化编码逻辑代数(PLA),用于设计二维数据阵列的光学逻辑门-理论
机译:从弱拓扑拟布尔代数刻画拓扑拟布尔代数
机译:由具有共轭的布尔代数确定的逻辑
机译:通过对金微丝上的镍纳米点进行磁操纵来制造布尔代数逻辑门。
机译:环理论下布尔布尔代数理论的归纳
机译:基础代数(克隆理论与离散数学・与计算机科学相关的代数与逻辑)
机译:代数逻辑与通用代数在计算机科学中的应用