Logic for applications - Nerode, Anil; Shore, Richard A 1946- (New York, New York : Springer, 1997)
Keywords: PROLOG (LENGUAJE DE PROGRAMACION PARA COMPUTADORA); LOGICA, SIMBOLICA Y MATEMATICA; CIENCIAS DE LA COMPUTACION; MODELOS MATEMATICOS