![](/img/cover-not-exists.png)
Dialog with Computer in the Proof of the Four-Color Theorem
Memory, J. D.Volume:
74
Language:
english
Journal:
Mathematics Magazine
DOI:
10.1080/0025570x.2001.11953082
Date:
October, 2001
File:
PDF, 241 KB
english, 2001