Verifica automatica del ragionamento matematico

• Autores: Marco Maggesi, Carlos Simpson
• Localización: Bollettino dell unione matematica italiana. Sezione A: la matematica nella società e nella cultura, ISSN 0041-7084, Vol. 9, Nº 3, 1, 2006, págs. 361-389
• Idioma: italiano
• Texto completo no disponible (Saber más ...)