![Foto de José Luis](/img/nophoto.png)
José Luis
Ruiz Reina
Publications dans lesquelles il/elle collabore avec José Luis Ruiz Reina (1)
1994
-
Prueba por consistencia de teoremas inductivos: inducción sin inducción
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)