Formal methods in artificial intelligence - Delahaye, J. -P. (Jean-Paul); Howlett, J. (London : North Oxford Accademic, 1987)
"A Halsted Press book."
"Based on a course of lectures given at the University of Lille"--Foreword
Translation of: Outils logiques pour l'intelligence artificielle
Includes bibliographical references and index
Keywords: Artificial intelligence -- Methodology; Artificial intelligence -- Data processing