Logic for computer science and artificial intelligence - Caferra, Ricardo, 1945- (London : ISTE, 2011)
Includes bibliographical references and index.
Keywords: Computer logic; Artificial intelligence