001.535  / L497 <br/>
       Lecture notes in artifical intelligence : truth maintenance systems 
 / 
 .- Berlin: Springer-Verlag,  1984 
<br/><U>Author Added Entry: </u><br/>Hartmanis, J.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A112669</b>, Full Call No.: 001.535 L497, (v.515)  Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>