![](/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=В128.2<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
1. ![](/irbis_nbuv/images/printer.jpg) | РА321511 Болибекян, Оганес Рафаелович. Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
| 2. ![](/irbis_nbuv/images/printer.jpg) | ВА627696 Марченков, Сергей Серафимович. S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 80 с. - Библиогр.: с. 78-79. - ISBN 5-9221-0152-8Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 3. ![](/irbis_nbuv/images/printer.jpg) | ВА635517 Закревский, Аркадий Дмитриевич. Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175. - ISBN 985-6453-71-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)
Видання зберігається у :
Основний фонд
| 4. ![](/irbis_nbuv/images/printer.jpg) | ВА649348 Горбатов, Александр Вячеславович. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках [Текст] / А. В. Горбатов. - М. : Издательство Физико-математической литературы, 2000. - 336 с.: рис. - Библиогр.: с. 333-336. - ISBN 5-17-004599-9 (ООО "Издательство АСТ"). - ISBN 5-94052-021-9 (Издательство Физико-математической литературы)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 5. ![](/irbis_nbuv/images/printer.jpg) | Глушков В.М./ІВ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.
Видання зберігається у :
Основний фонд
| 6. ![](/irbis_nbuv/images/printer.jpg) | ІС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
Видання зберігається у :
Основний фонд
|
|
|