001.535  / D372oE <br/>
Delahaye, Jean-Paul <br/>
       FORMAL METHODS IN ARTIFICIAL INTELLIGENCE 
 / 
 .- London: North Oxford Academic,  1987 
 .- vii,205 . 
<br/>Trans. Of Outils Logiques Pour Intelligence Artificielle 
<br/><u>Subject Headings:</u> <br/>Artificial Intelligence;
<br><U>Copy Details:</u><br> Acc. No.: <b>A97156</b>, Full Call No.: 001.535 D372oE,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>