Logic for computer science and artificial intelligence - Caferra, Ricardo 1945- (London Hoboken, N.J. ISTE Wiley, 2011)
Dr. Henry Adorna (recommending faculty)
Keywords: Computer logic; Artificial intelligence