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

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

Any de publicació: 1994

Pàgines: 597-606

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

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet