Вычислительные системы: Сборник научных трудов/ Вып. 133, Логические методы в программировании: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
| Other Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Новосибирск:
Институт математики
1990
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |