Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (5)Реферативна база даних (4)
Пошуковий запит: (<.>U=В127.1$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
      
Категорія: Фізико-математичні науки   
1.
РА293553

Мощенский, Владимир Андреевич.
Обобщенный метод "нитей" и его некоторые применения [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.05.01 / Мощенский Владимир Андреевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1995. - 32 с.

Рубрики:
 Конструктивний та рекурсивний а аналіз 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
2.
РА303408

Каратабанова, Сорейя Жубаниязовна.
Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : автореф. дис... канд. физ.-тех. наук: 01.01.06 / Каратабанова Сорейя Жубаниязовна. - Алматы, 1999. - 18 с.

Рубрики:
 Теорія моделей 
 Конструктивний та рекурсивний а аналіз 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
3.
Р80391

Сабельфельд, В. К.
Анализ свойств рекурсивных схем и проблема древесной эквивалентности [Текст] / В. К. Сабельфельд. - Новосибирск : [б.в.], 1994. - 42 с. - (Препр. / РАН. СО, Институт систем информатики ; 26)

Рубрики:
 Конструктивний та рекурсивний а аналіз 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
4.
Глушков В.М./ВА525

Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Бібліогр.: с. 318-320. - 14000 прим.

Рубрики:
 Конструктивний та рекурсивний а аналіз 




Видання зберігається у :
Основний фонд

      
Категорія: Фізико-математичні науки   
5.
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

Рубрики:
 Теорія Галуа 
 Конструктивний та рекурсивний а аналіз 




Видання зберігається у :

 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського