Your search returned 2 results.

Sort
Results
1.
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela by Series: Prace naukowe Uniwersytetu âSlñaskiego w Katowicach ; nr. 1901
Publication details: Katowice Wydawn. Uniwersytetu âSlñaskiego 2000
Availability: Items available for loan: IMAR (1)Call number: II 35342.

2.
Annales mathematicae Silesianae by Series: Prace naukowe Uniwersytetu
Material type: Continuing resource Continuing resource; Format: electronic available online remote; Type of continuing resource: periodical
Publication details: Katowice : Uniwersytet ; De Gruyter Open.
Availability: Items available for loan: IMAR (1)Call number: P1280.

Pages

Powered by Koha