MBASE: Representing Knowledge and Context for the Integration of Mathematical Software Systems

• Autores: M. Kohlhase
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 32, Nº 4, 2001, págs. 365-402
• Idioma: inglés
• Texto completo no disponible (Saber más ...)