001.535  / L497 v.518 <br/>
Wliiliams, J. G. <br/>
       Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction 
 / J. G. Williams 
 .- Verlag: Springer,  1991 
 .- 133p. 
<br><u>ISBN:</u> 3540543333 
<br/><u>Subject Headings:</u> <br/>Automatic theorem proving;<br/>Logic, Symbolic and mathematical;<br/>Artificial intelligence;
<br><U>Copy Details:</u><br> Acc. No.: <b>A112674</b>, Full Call No.: 001.535 L497 v.518,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), v.518<br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>