Пошуковий запит: (<.>U=В128.2$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
1. | РА321511 Болибекян О. Р. Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : Автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.
|
2. | В341948/Ч. 1 Четвериков, Григорий Григорьевич Многозначные структуры (анализ, сравнение, синтез, обобщение). Ч. 1 [Текст]. - [Б. м.] : [б.в.], 1997. - 191 с.
|
3. | ВА627696 Марченков С. С. S-классификация функций трехзначной логики [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 80 с.
|
4. | ВА635517 Закревский А. Д. Полиномиальная реализация частичных булевых функций и систем [Текст] / А. Д. Закревский, Н. Р. Торопов ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2001. - 200 с.: рис.
|
5. | ВА649348 Горбатов А. В. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках [Текст] / А. В. Горбатов. - М. : Издательство Физико-математической литературы, 2000. - 336 с.: рис.
|
6. | Глушков В.М./ІВ35 Rosser J. B. Many-valued logics [Текст] / J. Barkley Rosser , Atwell R. Turquette. - Amsterdam : North Holland, 1952. - 124 p. - (Studies in logic and the foundations of mathematics)
|
7. | ІС13884 Schölzel K. Clones of partial functions on finite sets [Текст] : Diss. / Karsten Schölzel ; Math.-Naturwiss. Fak. der Univ. Rostock. - Rostock, 2010. - 156 p. : fig.
|