Prueba por consistencia de teoremas inductivosinducción sin inducción

  1. Gegúndez Arias, Manuel Emilio
  2. Ruiz Reina, José Luis
Libro:
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
  1. Martín Vide, Carlos (coord.)

Editorial: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-477-0396-7

Año de publicación: 1994

Páginas: 597-606

Congreso: Congreso de Lenguajes Naturales y Lenguajes Formales (10. 1994. Sevilla)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet