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

Bibliographic Details
Corporate Author:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Other Authors:	Ершов Ю. Л. (340), Гончаров С. С.
Published:	Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
Series:	Вычислительные системы Вып. 114
Subjects:	данные динамическая логика язык семантика допустимые множества индуктивные определения планирование имитация
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269173

Similar Items