Item type | Current library | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute for Informatics and Automation Problems | 51.01:16 Т 15 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP21834 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
51.01:16 С 89 Традиционная и современная формальная логика/ | 51.01:16 Т 14 Теория моделей/ | 51.01:16 Т 14 Теория моделей/ | 51.01:16 Т 15 Теория доказательств/ | 51.01:16 Т 65 Алгоритмы и вычислительные автоматы/ | 51.01:16 Т 65 Алгоритмы и машинное решение задач/ | 51.01:16 Т 65 Алгориымы и машинное решение задач/ |
There are no comments on this title.