Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=В128<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. | РА311145 Пинько, Олексій Павлович. Алгебраїчна інтерпретація пропозиційних секвенційних обчислень [Текст] : автореф. дис... канд. фіз.- мат. наук: 01.01.08 / Пинько Олексій Павлович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2000. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 2. | РА352369 Саядян, Сергей Мушегович. Исследование сложностей выводов в системах неклассических логик [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
| 3. | ДС68921 Пынько, Алексей Павлович. Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : дис... канд. физ.- мат. наук: 01.01.08 / Пынько Алексей Павлович ; Ин-т кибернетики им. В. М. Глушкова НАН Украины. - К., 2000. - 104 с. - Библиогр.:с.102-104Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
| 4. | Глушков В. М. /Р27 Яблонский, С. В. О некоторых свойствах счётных замкнутых классов из Р [Текст] / С. В. Яблонский. - [М.] : [б. и.], 1959. - С. 990-993 : табл. - Библиогр.: с. 993 Отт. из Докл. Акад. наук СССР. - 1959. -Т. 124, № 5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 5. | ВА600796 Роженко, Микола Маркович. Квантова логіка: Теорія. Історія. Філософія [Текст] : авториз., опрацьов. і доп. пер.з рос. / М. М. Роженко, Н. М. Роженко. - К. : Український Центр духовної культури, 2000. - 308 с. - Бібліогр.: с.189-258. - ISBN 966-7276-72-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Роженко, Наталія Миколаївна
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
|
|