004.01  / C738 <br/>
       Computational logic 
 / edited by Ulrich Berger and Helmut Schwichtenberg 
 .- Berlin: Springer-Verlag,  1999 
 .- 444p. 
.- ( NATo ASI Series   
<br><u>ISBN:</u> 3540645896 
<br/><u>Subject Headings:</u> <br/>Computer Logic;
<br/><U>Author Added Entry: </u><br/>Berger, Ulrich, Ed.;<br/>Schwichtenberg, Helmut, Ed.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A136805</b>, Full Call No.: 004.01 C738,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>