• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
部分四值逻辑中Sheffer函数的判定与构造
刘任任
计算机工程与科学 . 2008, (11): 75 -76 .