Normal view
MARC view
Вычислительные системы Т. 148 сборник научных трудов Рос. АН, Сиб. отд-ние, ин-т математики
Material type: TextPublication details: Новосибирск [б. и.] 1993Description: 176 с. илOther title: Логические методы в информатике / науч. ред. Ю. Л. Ершов, С. С. Гончаров [Distinctive title]Subject(s): информатика | логические методыItem type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
1 месяц | Книгохранилище | 1-829147 (Browse shelf (Opens below)) | 1 | Available | 13820000259472 | |
1 месяц | Книгохранилище | 1-826757к (Browse shelf (Opens below)) | 2 | Available | 13820000297967 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр. в конце ст.
There are no comments on this title.