Логические методы в программировании: [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров
| Вид документа: | Продолжающиеся издания |
|---|---|
| Опубликовано: | Новосибирск : Институт математики СО АН СССР, 1987 |
| Физические характеристики: |
158 с. : схема, табл. ; 20 см
|
| Язык: | Русский |
| Серия: |
Вычислительные системы
; вып. 120 |
Загрузка...