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