Логические методы в информатике: [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров
| Другие авторы/ответственные: | Ершов, Ю. Л. (род. 1940), Гончаров, С. С. (род. 1951), Загоруйко, Н. Г. |
|---|---|
| Вид документа: | Продолжающиеся издания |
| Опубликовано: | Новосибирск : Институт математики СО РАН, 1993 |
| Язык: | Русский |
| Серия: |
Вычислительные системы
; вып. 148 |
Загрузка...