Вычислительные системы: Сборник научных трудов/ Вып. 116, Прикладная логика: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
| Другие авторы: | , |
|---|---|
| Формат: | Книга |
| Язык: | Russian |
| Публикация: |
Новосибирск:
Институт математики
1986
|
| Предметы: | |
| Online-ссылка: | Перейти в каталог Библиотеки ТУСУР |
| Объем: | 166 с. |
|---|---|
| Библиография: | Библиогр. в конце ст. |
