Сложностные проблемы математической логики: сборник научных трудов

Bibliografiske detaljer
Institution som forfatter:	Калининский государственный университет
Sprog:	russisk
Udgivet:	Калинин, [Б. и.], 1985
Fag:	Математическая логика проблемы нумерация свойства представление Клини машины Тьюринга ленточная сложность неподвижные точки конечные многоленточные автоматы функциональные зависимости неявные зависимости исчисление сигнатуры
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=287779

Lignende værker