Toward multilingual mechanized mathematics assistants

• Autores: Jordi Saludes i Closa , Sebastián Xambó Descamps
• Localización: Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012 / Juan Rafael Sendra Pons (ed. lit.) , Carlos Villarino Cabellos (ed. lit.), 2012, ISBN 978-84-8138-770-4, págs. 163-166
• Idioma: español
• Texto completo no disponible (Saber más ...)