Biela, Andrzej <br/><br/>
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories 
Andrzej Biela 
 - Katowice  Wydawn. Uniwersytetu âSlñaskiego  2000 
 - 121 p  ill    25 cm 
 - Prace naukowe Uniwersytetu âSlñaskiego w Katowicach  nr. 1901 .
<br/><br/><label>ISBN: </label>8322610238 
<br/><br/><label>LCCN: </label>2001515640 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal languages<br/>Algorithms<br/>Logic, Symbolic and mathematical<br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>511.3