Бази даних


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


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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Реферативна база даних (13)
Пошуковий запит: (<.>U=В128.2$<.>)
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
1.
РА321511
Болибекян, Оганес Рафаелович.
Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.

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


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

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

2.
В341948/Ч. 1
Четвериков, Григорий Григорьевич
Многозначные структуры (анализ, сравнение, синтез, обобщение) [Текст] : учеб. пособие / Г. Г. Четвериков. - К. : Харьковский технический ун-т радиоэлектроники, 1997 .
Ч. 1. - [Б. м.] : [б.в.], 1997. - 191 с. - ISBN 5-7763-9095-8

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


Дод. точки доступу:
Харьковский технический ун-т радиоэлектроники

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

3.
ВА627696
Марченков, Сергей Серафимович.
S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 80 с. - Библиогр.: с. 78-79. - ISBN 5-9221-0152-8

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


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

4.
ВА635517
Закревский, Аркадий Дмитриевич.
Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2

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


Дод. точки доступу:
Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)

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

5.
ВА649348
Горбатов, Александр Вячеславович.
Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках [Текст] / А. В. Горбатов. - М. : Издательство Физико-математической литературы, 2000. - 336 с.: рис. - Библиогр.: с. 333-336. - ISBN 5-17-004599-9 (ООО "Издательство АСТ"). - ISBN 5-94052-021-9 (Издательство Физико-математической литературы)

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


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

6.
Глушков В.М./ІВ35
Rosser , J. Barkley.
Many-valued logics [Text] / J. Barkley Rosser , Atwell R. Turquette. - Amsterdam : North Holland, 1952. - 124 p. - (Studies in logic and the foundations of mathematics). - Бібліогр.: с. 112-115

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


Дод. точки доступу:
Turquette, Atwell R.

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

7.
ІС13884
Schölzel, Karsten.
Clones of partial functions on finite sets [Text] : diss. / Karsten Schölzel ; Math.-Naturwiss. Fak. der Univ. Rostock. - Rostock, 2010. - 156 p. : fig. - Бібліогр.: с. 113-119

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


Дод. точки доступу:
Universität Rostock. Mathematisch-Naturwissenschaftlichen Fakultät

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

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

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