TY  - JOUR
AU  - Appel, K. I.
TI  - Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1979
SP  - 81
EP  - 88
VL  - 16
IS  - 3-4
PB  - Université Claude Bernard - Lyon 1
UR  - http://www.numdam.org/item/PDML_1979__16_3-4_81_0/
LA  - fr
ID  - PDML_1979__16_3-4_81_0
ER  -