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