Texas A&M University - Kingsville.;
机译:用于量子算术的可逆算术逻辑单元
机译:具有阈值逻辑门的可重构算术逻辑单元
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:具有应变能当量的柔性管联锁装置的崩溃估计
机译:IC半精度浮点算术逻辑单元的设计。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:使用木互锁块防止弱势r / c建筑物的崩溃
机译:铌酸锂算术逻辑单元。