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

Bibliographic Details
Main Author: Дегтев, Александр Николаевич
Format: Book
Language:Russian
Published: М. Наука. Физматлит 1998
Subjects:
Online Access:Перейти в каталог НБ ТГУ

Similar Items