Machine-Checked Proof

• Autores: Jacob Gross
• Localización: Notices of the American Mathematical Society, ISSN 0002-9920, Vol. 65, Nº. 2, 2018, págs. 170-170
• Idioma: inglés
• Enlaces
  • Texto Completo Ejemplar