511.3  / W17M <br/>
Walther, Christoph <br/>
       A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION 
 / 
 .-  ,   
.- ( Research Notes In Artificial Inteligrnce     
<br><u>ISBN:</u> 0934613494 
<br/><u>Subject Headings:</u> <br/>Automatic Theorem Proving;
<br><U>Copy Details:</u><br> Acc. No.: <b>A114989</b>, Full Call No.: 511.3 W17M,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>