知识工程的新进展：定理机器证明
出处
《知识工程》
1992年第1期19-23,29,共6页
-
1陈红顺,夏斌,潘聪,吕志强,韩云.粒子群优化算法求解地图四色问题[J].计算机工程与应用,2009,45(20):39-41. 被引量：1
-
2朱安平.一种平面图四着色算法及其实现[J].硅谷,2011,4(7):100-101. 被引量：4
-
3毛云舟.一个实用的地图着色算法[J].江苏师范大学学报（自然科学版）,1998,28(4):19-20. 被引量：5
-
4胡能发,唐为萍.图的四作色问题的遗传算法求解研究[J].长江大学学报（自科版）（上旬）,2010,7(1):6-10. 被引量：1
-
5乔彦友,武红敢.立体图的着色问题猜想[J].地图,1996(3):17-17.
-
6王锦彪,叶路星,郑云.关于四色问题两个重要反例的研究[J].计算机工程与应用,2005,41(15):63-65. 被引量：2
-
7王锦彪,王玮玮,郑芸,王元崑.四色问题反例研究与民航空域频率覆盖[J].计算机工程,2005,31(B07):1-2.
;
