TY  - GEN
AU  - Biela,Andrzej
TI  - Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
SN  - 8322610238
U1  - 511.3 
PY  - 2000///
CY  - Katowice
PB  - Wydawn. Uniwersytetu âSlñaskiego
KW  - Formal languages
KW  - Algorithms
KW  - Logic, Symbolic and mathematical
KW  - Automatic theorem proving
ER  -