El problema de decisión del cálculo de predicados
Revista:
Boletín del Centro de Cálculo de la Universidad Complutense
ISSN: 0210-9743
Año de publicación: 1975
Número: 26
Páginas: 1-28
Tipo: Artículo