Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela.
By: Biela, Andrzej.
Contributor(s): Uniwersytet Śląski (Katowice). Wydawnictwo [Wydawca].
Material type: BookSeries: Prace Naukowe Uniwersytetu Śląskiego w Katowicach: nr 1901Publisher: Katowice : Wydawnictwo Uniwersytetu Śląskiego, 2000Description: 121, [1] s. ; 24 cm.ISBN: 8322610238.Subject(s): Algorytmy | Języki formalne | Logika symboliczna i matematyczna | Automatyczne dowodzenie twierdzeńItem type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Książka | Biblioteka UKSW - Dewajtis Magazyn I - Dewajtis | Biblioteka UKSW - Dewajtis | 321564 | Available | 321564 |
Total holds: 0
Bibliogr. s. 113-118.
Streszcz. pol. i ros.