Логические методы в информатике: [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Новосибирск : Институт математики СО РАН , 1993 |
| Физические характеристики: |
172 с. : диагр., схемы, табл. ; 20 см
|
| Язык: | Русский |
| Серия: |
Вычислительные системы
вып. 148 |
1993, Вып.148: Логические методы в информатике
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||