| 000 | 00744 a2200229 4500 | ||
|---|---|---|---|
| 010 | _a 2001515640 | ||
| 020 | _a8322610238 | ||
| 035 | _a | ||
| 082 | 0 | 0 | _a511.3 |
| 084 | _203B35 (03-02 03B70 68-02 68T15) | ||
| 090 |
_c2791 _d2791 |
||
| 100 | 1 | _aBiela, Andrzej | |
| 245 | 1 | 0 |
_aAlgorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories _cAndrzej Biela |
| 260 |
_aKatowice _bWydawn. Uniwersytetu âSlñaskiego _c2000 |
||
| 300 |
_a121 p _bill _c _c25 cm |
||
| 440 | 0 |
_aPrace naukowe Uniwersytetu âSlñaskiego w Katowicach _vnr. 1901 |
|
| 650 | 0 | _aFormal languages | |
| 650 | 0 | _aAlgorithms | |
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 650 | 0 | _aAutomatic theorem proving | |
| 942 | _cCART | ||
| 999 |
_c2678 _d2678 |
||