THEOREMA: a formal frame for Mathematics

• Autores: Bruno Buchberger
• Localización: Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002 / coord. por Philippe Giménez, 2002, págs. 11-32
• Idioma: inglés
• Texto completo no disponible (Saber más ...)