Пошуковий запит: (<.>U=В128.2$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
1. | РА321511 Болибекян, Оганес Рафаелович. Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.
Тематичний рубрикатор:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
2. | В341948/Ч. 1 Четвериков, Григорий Григорьевич Многозначные структуры (анализ, сравнение, синтез, обобщение) [Текст] : учеб. пособие / Г. Г. Четвериков. - К. : Харьковский технический ун-т радиоэлектроники, 1997 . Ч. 1. - [Б. м.] : [б.в.], 1997. - 191 с.
Тематичний рубрикатор:
Дод. точки доступу: Харьковский технический ун-т радиоэлектроники
Видання зберігається у :
Основний фонд
|
3. | ВА627696 Марченков, Сергей Серафимович. S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 80 с. - Библиогр.: с. 78-79.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
4. | ВА635517 Закревский, Аркадий Дмитриевич. Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис. - Библиогр.: с. 171-175.
Тематичний рубрикатор:
Дод. точки доступу: Торопов, Николай Романович; НАН БеларусиИнститут технической кибернетики (Минск)
Видання зберігається у :
Основний фонд
|
5. | ВА649348 Горбатов, Александр Вячеславович. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках [Текст] / А. В. Горбатов. - М. : Издательство Физико-математической литературы, 2000. - 336 с.: рис. - Библиогр.: с. 333-336.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
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
Видання зберігається у :
Основний фонд
|