厉晓华. 计算机辅助特殊逻辑函数检测[J]. 浙江大学学报(理学版), 2009, 36(3): 288-290.
LI Xiao-Hua. . Journal of Zhejiang University (Science Edition), 2009, 36(3): 288-290.
https://www.zjujournals.com/sci/CN/ 或 https://www.zjujournals.com/sci/CN/Y2009/V36/I3/288
Cited