%0 Journal Article %1 citeulike:166429 %A Tymoczko, Thomas %D 1980 %J Mathematics Magazine %K mathematicians philosophical proofs %N 3 %P 131--138 %T Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof %U http://links.jstor.org/sici?sici=0025-570X%28198005%2953%3A3%3C131%3ACPAMAP%3E2.0.CO%3B2-X %V 53

@article{citeulike:166429, added-at = {2007-08-18T13:22:24.000+0200}, author = {Tymoczko, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/20b2a18a858de376a98979cb1c01da330/a_olympia}, citeulike-article-id = {166429}, description = {citeulike}, interhash = {05932be432ca2e0273560632b9c6691b}, intrahash = {0b2a18a858de376a98979cb1c01da330}, journal = {Mathematics Magazine}, keywords = {mathematicians philosophical proofs}, number = 3, pages = {131--138}, priority = {2}, timestamp = {2007-08-18T13:22:51.000+0200}, title = {Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof}, url = {http://links.jstor.org/sici?sici=0025-570X%28198005%2953%3A3%3C131%3ACPAMAP%3E2.0.CO%3B2-X}, volume = 53, year = 1980 }