![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=В127.1$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. ![](/irbis_nbuv/images/printer.jpg) | MFI2786/1-2 Gloor, Oliver Patrick Andreas. Galois theory for combinatory algebras and its application to recursion theory [Text] : diss. / O. P. Gloor ; Swiss Federal institute of technology Zürich. - Zürich : [б.в.], 1995. - 129 p.:ill. - (Diss ETH ; 11095) 2 mfisheРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Swiss Federal institute of technology Zürich
Видання зберігається у :
| 2. ![](/irbis_nbuv/images/printer.jpg) | Р80391 Сабельфельд, В. К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности [Текст] / В. К. Сабельфельд. - Новосибирск : [б.в.], 1994. - 42 с. - (Препр. / РАН. СО, Институт систем информатики ; 26)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: РАН. СО; Институт систем информатики
Видання зберігається у :
Основний фонд
| 3. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ВА525 Новиков, Петр Сергеевич. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Бібліогр.: с. 318-320. - 14000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 4. ![](/irbis_nbuv/images/printer.jpg) | РА303408 Каратабанова, Сорейя Жубаниязовна. Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : автореф. дис... канд. физ.-тех. наук: 01.01.06 / Каратабанова Сорейя Жубаниязовна. - Алматы, 1999. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 5. ![](/irbis_nbuv/images/printer.jpg) | РА293553 Мощенский, Владимир Андреевич. Обобщенный метод "нитей" и его некоторые применения [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.05.01 / Мощенский Владимир Андреевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1995. - 32 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
|
|