Mizar/Loguna mplementación del sistema Mizar-Mse en un lenguaje de programación lógico
- Martín Vide, Carlos (coord.)
Editorial: Promociones y Publicaciones Universitarias, PPU
ISBN: 84-7665-518-5, 84-7665-517-7
Año de publicación: 1989
Volumen: 2
Páginas: 807-814
Congreso: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)
Tipo: Aportación congreso