Shadowy vision: spanners in the mechanization of mathematics

• Autores: Dorothy Stein, Jay Belanger
• Localización: Historia mathematica, ISSN 0315-0860, Vol. 32, Nº 1, 2005, págs. 76-93
• Idioma: inglés
• DOI: 10.1016/j.hm.2004.03.002
• Texto completo no disponible (Saber más ...)