Siekmann J <br/><br/>
Automation of reasopning 

 - Berlin  Springer-Verlag           1983 
 - p.  cm. 
<br/><br/><label>Standard No.: </label>32572 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>D65,8(B):(R1), M3.2-;1