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

  1. Gegúndez Arias, Manuel Emilio
  2. Ruiz Reina, José Luis
Buch:
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.)

Verlag: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-477-0396-7

Datum der Publikation: 1994

Seiten: 597-606

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

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet