%0 Journal Article %A Gruber, Boris %T On the possibility of applying a computer when solving the four color problem %J Applications of Mathematics %D 1971 %P 83-97 %V 16 %N 2 %U http://geodesic.mathdoc.fr/articles/10.21136/AM.1971.103333/ %R 10.21136/AM.1971.103333 %G en %F 10_21136_AM_1971_103333