Automated reasoning : introduction and applications - Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim (Englewood Cliffs, N.J. : Prentice Hall, 1984)
Keywords: INTELIGENCIA ARTIFICIAL; COMPUTADORAS ELECTRONICAS DIGITALES