DELAHAYE,JEAN-PAUL <br/><br/>
FORMAL METHODS IN ARTIFICIAL INTELLIGENCE 

 - 1 
 -  NOA  1987 
 -  205 
<br/><br/><label>ISBN: </label>KBCS  19.5 
<br/><br/><label>Dewey Class. No.: </label>901