Вычислительные системы: Сборник научных трудов/

Вычислительные системы: Сборник научных трудов/ Вып. 148, Логические методы в программировании: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров

Bibliographic Details
Other Authors: Ершов, Ю. Л. (Editor), Гончаров, С. С. (Editor)
Format: Book
Published: Новосибирск: Институт математики 1993
Subjects:
вычислительные системы
ЯЗЫКИ СПЕЦИФИКАЦИЙ
СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Online Access:Перейти в каталог Библиотеки ТУСУР

Similar Items

Similar Items