TY  - JOUR
AU  - Gruber, Boris
TI  - On the possibility of applying a computer when solving the four color problem
JO  - Applications of Mathematics
PY  - 1971
SP  - 83
EP  - 97
VL  - 16
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/AM.1971.103333/
DO  - 10.21136/AM.1971.103333
LA  - en
ID  - 10_21136_AM_1971_103333
ER  -