Un proyecto de desarrollo de un demostrador interactivo basado en MIZAR

  1. Leach, Javier
Libro:
Lenguajes naturales y lenguajes formales IV: vol 2.
  1. Martín Vide, Carlos (coord.)

Editorial: Facultat de Filologia ; Universidad de Barcelona

ISBN: 8476655177

Año de publicación: 1989

Páginas: 685-692

Tipo: Capítulo de Libro

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet