Biela, Andrzej.

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela. - Katowice : Wydawnictwo Uniwersytetu Śląskiego, 2000. - 121, [1] s. ; 24 cm. - Prace Naukowe Uniwersytetu Śląskiego w Katowicach nr 1901 0208-6336 .

Bibliogr. s. 113-118.


Streszcz. pol. i ros.

ISBN: 8322610238
Tematy: Algorytmy. Języki formalne. Logika symboliczna i matematyczna. Automatyczne dowodzenie twierdzeń.