Un proyecto de desarrollo de un demostrador interactivo basado en MIZAR
- Martín Vide, Carlos (coord.)
Argitaletxea: Facultat de Filologia ; Universidad de Barcelona
ISBN: 8476655177
Argitalpen urtea: 1989
Orrialdeak: 685-692
Mota: Liburuko kapitulua
Liburua:
Lenguajes naturales y lenguajes formales IV: vol 2.