Бази даних


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


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Реферативна база даних (15)
Пошуковий запит: (<.>U=В128<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
1.
ДС68921
Пынько, Алексей Павлович.
Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : дис... канд. физ.- мат. наук: 01.01.08 / Пынько Алексей Павлович ; Ин-т кибернетики им. В. М. Глушкова НАН Украины. - К., 2000. - 104 с. - Библиогр.:с.102-104

Рубрикатор НБУВ:
 В128 
Тематичні рубрики:


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

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

2.
РА311145
Пинько, Олексій Павлович.
Алгебраїчна інтерпретація пропозиційних секвенційних обчислень [Текст] : автореф. дис... канд. фіз.- мат. наук: 01.01.08 / Пинько Олексій Павлович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2000. - 16 с.

Рубрикатор НБУВ:
 В128 
Тематичні рубрики:
  


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

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

3.
РА352369
Саядян, Сергей Мушегович.
Исследование сложностей выводов в системах неклассических логик [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с.

Рубрикатор НБУВ:
 В128 
Тематичні рубрики:


Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА

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

4.
ВА600796
Роженко, Микола Маркович.
Квантова логіка: Теорія. Історія. Філософія [Текст] : авториз., опрацьов. і доп. пер.з рос. / М. М. Роженко, Н. М. Роженко. - К. : Український Центр духовної культури, 2000. - 308 с. - Бібліогр.: с.189-258. - ISBN 966-7276-72-4

Рубрикатор НБУВ:
 В128 
 Ю433 
Тематичні рубрики:


Дод. точки доступу:
Роженко, Наталія Миколаївна

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

5.
Глушков В. М. /Р27
Яблонский, С. В.
О некоторых свойствах счётных замкнутых классов из Р [Текст] / С. В. Яблонский. - [М.] : [б. и.], 1959. - С. 990-993 : табл. - Библиогр.: с. 993
Отт. из Докл. Акад. наук СССР. - 1959. -Т. 124, № 5

Рубрикатор НБУВ:
 В128 
Тематичні рубрики:
  


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

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

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