Поиск :
Личный кабинет :
Электронный каталог: Логические методы в информатике
Логические методы в информатике
Книга
Автор:
Вычислительные системы. Вып.148: Логические методы в информатике : сборник научных трудов
1993 г.
ISBN 5-7623-0675-5
Автор:
Вычислительные системы. Вып.148: Логические методы в информатике : сборник научных трудов
1993 г.
ISBN 5-7623-0675-5
Заказать 
На полку
Многотомник
Вычислительные системы: сборник трудов / кол. авт. Академия наук СССР, Сибирское отделение, Институт математики. – Новосибирск: ИМ, 1964.
Книга
681 В94
Вып.148 : Логические методы в информатике: сборник научных трудов / кол. авт. Российская академия наук, Сибирское отделение, Институт математики; науч. ред. Ю.Л. Ершов, С.С. Гончаров. – 1993. – 176 с.: ил., табл. – На рус. яз. - ISBN 5-7623-0675-5: 5000.00.
ГАСНТИ 50.33
681.324(082)
общий = ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
общий = ИНФОРМАТИКА
общий = ЛОГИЧЕСКИЕ МЕТОДЫ
Вычислительные системы: сборник трудов / кол. авт. Академия наук СССР, Сибирское отделение, Институт математики. – Новосибирск: ИМ, 1964.
Книга
681 В94
Вып.148 : Логические методы в информатике: сборник научных трудов / кол. авт. Российская академия наук, Сибирское отделение, Институт математики; науч. ред. Ю.Л. Ершов, С.С. Гончаров. – 1993. – 176 с.: ил., табл. – На рус. яз. - ISBN 5-7623-0675-5: 5000.00.
ГАСНТИ 50.33
681.324(082)
общий = ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
общий = ИНФОРМАТИКА
общий = ЛОГИЧЕСКИЕ МЕТОДЫ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ОХОФ | 1 | 1 | 1 | Заказать |
