Dialog with Computer in the Proof of the Four-Color Theorem.

• Autores: J.d. Memory
• Localización: Mathematics magazine, ISSN 0025-570X, Vol. 74, Nº 4, 2001, pág. 313
• Idioma: inglés
• DOI: 10.2307/2691102
• Texto completo no disponible (Saber más ...)