@article{PDML_1979__16_3-4_81_0, author = {Appel, K. I.}, title = {Un nouveau type de preuve math\'ematiques : II - Le th\'eor\`eme des quatre couleurs}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, volume = {16}, year = {1979}, pages = {81-88}, mrnumber = {602656}, zbl = {0455.05031}, language = {fr}, url = {http://dml.mathdoc.fr/item/PDML_1979__16_3-4_81_0} }
Appel, K. I. Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs. Publications du Département de mathématiques (Lyon), Tome 16 (1979) pp. 81-88. http://gdmltest.u-ga.fr/item/PDML_1979__16_3-4_81_0/