Mizar/Loguna mplementación del sistema Mizar-Mse en un lenguaje de programación lógico
- Martín Vide, Carlos (coord.)
Publisher: Promociones y Publicaciones Universitarias, PPU
ISBN: 84-7665-518-5, 84-7665-517-7
Year of publication: 1989
Volume: 2
Pages: 807-814
Congress: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)
Type: Conference paper