Bibel, Wolfgang <br/><br/>
An approach to a systematic theorem proving procedure in first-order logic 
Wolfgang Bibel 
 - Munchen  Universitat Munchen  1970 
 - 19 p  28 cm 
<br/><br/> Contine bibliografie