Variables sintácticas (negación) de congruencia y de tarea en la verificación de enunciados
ISSN: 0373-2002
Año de publicación: 1981
Volumen: 36
Número: 1
Páginas: 1-34
Tipo: Artículo
ISSN: 0373-2002
Año de publicación: 1981
Volumen: 36
Número: 1
Páginas: 1-34
Tipo: Artículo