Orloswska Ewa <br/><br/>
Theorem-proving systems 

 - Warszawa  Panstwowe Wydawnictwo Naukowa        
 - 55p.  cm. 
 - Dissertations mathematicae; 103 .
<br/><br/><label>Standard No.: </label>19137 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B, L34