Mizar/Log: una mplementación del sistema Mizar-Mse en un lenguaje de programación lógico

• Autores: Susana Nieva Soto
• Localización: Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988) / coord. por Carlos Martín Vide , Vol. 2, 1989, ISBN 84-7665-517-7, págs. 807-814
• Idioma: español
• Texto completo no disponible (Saber más ...)