Normal view
MARC view
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela
Material type:
TextSeries: Prace Naukowe Uniwersytetu Slaskiego w KatowicachPublication details: Katowice Wydawnictwo Uniwersytetu Slaskiego 2000Description: 121, [1] pISBN: 8322610238ISSN: 0208-6336Subject(s): алгоритмические теории | алгоритмическая логика | алгоритмическая структурная полнота | алгоритмические языки | алгоритмы
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-924139к 681.3 (Browse shelf(Opens below)) | Available | 13820000488275 |
References: p. 113-118
There are no comments on this title.
Log in to your account to post a comment.