Mizar/Loguna mplementación del sistema Mizar-Mse en un lenguaje de programación lógico
- Martín Vide, Carlos (coord.)
Éditorial: Promociones y Publicaciones Universitarias, PPU
ISBN: 84-7665-518-5, 84-7665-517-7
Année de publication: 1989
Volumen: 2
Pages: 807-814
Congreso: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)
Type: Communication dans un congrès