Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
2.
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela

by Biela, Andrzej | Uniwersytet Slaskiego w Katowicach.

Series: Prace Naukowe Uniwersytetu Slaskiego w KatowicachMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Katowice Wydawnictwo Uniwersytetu Slaskiego 2000Availability: No items available :