Normal view MARC view ISBD view

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: materialTypeLabelBookSeries: 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ń
List(s) this item appears in: algorytmy
Item type Current location Home library Call number Status Date due Barcode Item holds
Książka Książka Biblioteka Główna UKSW - Dewajtis
Magazyn
Biblioteka Główna UKSW - Dewajtis
321564 Available 321564
Total holds: 0

Bibliogr. s. 113-118.

Streszcz. pol. i ros.

Powered by Koha