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

Bibliographic Details
Main Author: Дегтев, Александр Николаевич
Format: Book
Language:Russian
Published: М. Наука. Физматлит 1998
Subjects:
Online Access:Перейти в каталог НБ ТГУ
LEADER 01401nam a2200313 4500
001 vtls000052577
003 RU-ToGU
005 20210910071715.0
008 991227s1998 ru a f b 001 | rus d
020 |a 5020148431 
035 |a 0055-27960 
039 9 |y 200511060542  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU  |e PSBO 
080 |a 510.5 
080 |a 510.6 
100 1 |a Дегтев, Александр Николаевич.  |9 111546 
245 1 0 |a Рекурсивно перечислимые множества и сводимости табличного типа 
260 |a М.  |b Наука. Физматлит  |c 1998  |9 687881 
300 |a 176 с. 
504 |a Библиогр.: с. 170-174.- Предм. указ.: с. 175-176 
653 |a рекурсивные функции. 
653 |a сводимости. 
653 |a теория алгоритмов. 
653 |a перечислимые множества. 
653 |a табличная сводимость. 
852 4 |a RU-ToGU  |h 1-868023к  |i 510.6  |n ru 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=4772 
999 |c 4772  |d 4772 
952 |0 0  |1 0  |4 0  |6 1868023К_5106  |7 0  |9 10051  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2021-04-02  |g 19.00  |l 0  |o 1-868023к 510.6  |p 13820000102326  |r 2021-04-02  |t 1  |w 2021-04-02  |y 1