Delahaye, J. -P. <br/><br/>
Formal methods in artificial intelligence / 
by J. P. Delahaye ; translated [from the German] by J. Howlett 
 - London :  North Oxford Accademic,  c1987 
 - vii, 205 p. ;  25 cm. 
<br/><br/> "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 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>094653618X :  PND 19.50 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence--Methodology<br/>Artificial intelligence--Data processing
<br/><br/><label>Dewey Class. No.: </label>001.535