计算机辅助检验数学（下）
出处
《数学译林》
北大核心
1994年第3期177-184,共8页
MATHEMATICS
-
1Brui.,NG 余敏安.计算机辅助检验数学（上）[J].数学译林,1994,13(2):89-92.
-
2曾浩.量子逻辑系统及其不相容性的解决[J].苏州市职业大学学报,2004,15(4):74-76.
-
3柴多元.农村中学数学实验室的建立设想[J].软件（教育现代化）（电子版）,2012,2(2):61-61.
-
4龙本烟.浅谈数学实验教学之浅见[J].飞（素质教育）,2013(3):133-133.
-
5冒亚林.数学解题教学,请引导学生自我反思[J].数理化解题研究（初中版）,2015(6):13-13.
-
6林佳乐,汪晓勤.高中生对负数大小关系的理解[J].数学通报,2014,53(11):30-33. 被引量：1
-
7刘骏跃.模糊公理体系探讨[J].陕西师范大学学报（自然科学版）,2001,29(S1):110-111.
-
8金星,洪延姬,文明,李俊美.布尔逻辑和与逻辑积运算及可靠性分析应用[J].弹箭与制导学报,2003,23(1):69-72. 被引量：2
-
9赵林,吴尽昭.基于吴方法的多值模型检验[J].系统科学与数学,2008,28(8):1020-1029. 被引量：5
-
10胡子萍,崔萍,马晓敏,.一种用于布尔逻辑设计的神经网络学习算法[J].石油大学学报（自然科学版）,2001,25(3):80-83.
;
