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

Bibliografiske detaljer
Institution som forfatter:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Andre forfattere:	Ершов Ю. Л. (340), Гончаров С. С.
Sprog:	russisk
Udgivet:	Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
Serier:	Вычислительные системы Вып. 114
Fag:	данные динамическая логика язык семантика допустимые множества индуктивные определения планирование имитация
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269173

Lignende værker