Вычислительные системы: Сборник научных трудов/ Вып. 146, Логика и семантическое программирование: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
| Other Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Новосибирск:
Институт математики
1992
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |
| Physical Description: | 202[3] с.: a-ил |
|---|---|
| Bibliography: | Библиогр. в конце ст. |