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

Bibliographische Detailangaben
Körperschaft:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Weitere Verfasser:	Ершов Ю. Л. (340), Гончаров С. С.
Veröffentlicht:	Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
Schriftenreihe:	Вычислительные системы Вып. 114
Schlagworte:	данные динамическая логика язык семантика допустимые множества индуктивные определения планирование имитация
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269173

Beschreibung
Beschreibung:	139 с.

Ähnliche Einträge