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

  1. Nieva Soto, Susana
Buch:
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.)

Verlag: Promociones y Publicaciones Universitarias, PPU

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

Datum der Publikation: 1989

Ausgabe: 2

Seiten: 807-814

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

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet