- Tytuł pełny:
- Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela
- Wydawca:
- Katowice : Wydawnictwo Uniwersytetu Śląskiego
- Rok wydania:
- 2000
- Seria:
- Prace Naukowe Uniwersytetu Śląskiego w Katowicach 0208-6336 nr 1901
Książka