Deducción automatizada en lógica modal

  1. Frías Delgado, Antonio
Libro:
Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991)
  1. Martín Vide, Carlos (coord.)

Editorial: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-7665-988-1

Año de publicación: 1992

Páginas: 375-380

Congreso: Congreso de Lenguajes Naturales y Lenguajes Formales (7. 1991. Vic)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet