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

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

Bibliographic Details
Corporate Author: Калининский государственный университет
Published: Калинин, [Б. и.], 1985
Subjects:
проблемы
нумерация
свойства
представление Клини
машины Тьюринга
ленточная сложность
неподвижные точки
конечные многоленточные автоматы
функциональные зависимости
неявные зависимости
исчисление
сигнатуры
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=287779

Similar Items