Metadata
Author: WikiMatrix
Data
Greek[el]
Το 1976 , ο Wolfgang Haken και Kenneth Appel χρησιμοποίησε ηλεκτρονικό υπολογιστή για να αποδείξει το θεώρημα των τεσσάρων χρωμάτων.
French[fr]
Ce sera finalement Kenneth Appel et Haken qui obtiendront en 1977 une démonstration du théorème des quatre couleurs.