Логические вопросы теории типов данных: сборник научных трудов

Библиографические подробности
Автор-организация:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Другие авторы:	Ершов Ю. Л. (редактор), Гончаров С. С.
Язык:	русский
Опубликовано:	Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
Серии:	Вычислительные системы Вып. 114
Предметы:	Вычислительные системы данные динамическая логика язык семантика допустимые множества индуктивные определения планирование имитация
Формат:	Книга
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269173

Схожие документы