ЛОГИЧЕСКИЕ методы в информатике : [Сб. ст.] / Науч. ред. чл.-кор. РАН Ю.Л. Ершов, чл.-кор. АН ВШ С.С. Гончаров
Язык: русский.Выходные данные: Новосибирск : Ин-т математики, 1993 (вып. дан. 1994)Физическая характеристика: [1], 176 с. : ил. ; 20 см.Серия: Вычислительные системы ; Вып. 148Библиография: Библиогр. в конце ст..Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский журнальный фонд | П10/2760 (Просмотр полки(Открывается ниже)) | Доступно | 5375423-10 |
Библиогр. в конце ст.