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

Bibliographic Details
Other Authors:	Ершов, Ю. Л. (Editor), Гончаров, С. С. (Editor)
Format:	Book
Published:	Новосибирск: Институт математики 1986
Subjects:	вычислительные системы обработка данных анализ данных описания данных представления данных семантическое программирование прикладная логика
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items