|
Записки научных семинаров ЛОМИ, 1967, том 4, страницы 209–218
(Mi znsl2223)
|
|
|
|
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р. И. Фрейдзон
Образец цитирования:
Р. И. Фрейдзон, “О представимости алгорифмически разрешимых предикатов машинами Рабина”, Исследования по конструктивной математике и математической логике. I, Зап. научн. сем. ЛОМИ, 4, М., 1967, 209–218
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2223 https://www.mathnet.ru/rus/znsl/v4/p209
|
|