Mizar/Loguna mplementación del sistema Mizar-Mse en un lenguaje de programación lógico

  1. Nieva Soto, Susana
Liburua:
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)
  1. Martín Vide, Carlos (coord.)

Argitaletxea: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-7665-518-5,  84-7665-517-7

Argitalpen urtea: 1989

Alea: 2

Orrialdeak: 807-814

Biltzarra: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet