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
Any de publicació: 1989
Volum: 2
Pàgines: 807-814
Congrés: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)
Tipus: Aportació congrés