512 Г 194 Ганов, Валерий Александрович. Общая теория вычислений с оракулами / В. А. Ганов, Н. В. Белякин ; Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск : ИМ, 1989. - 136 с. : ил. - Библиогр.: с. 135 . - 0.80 р.
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ВЫЧИСЛЕНИЯ) -- АЛГЕБРА ЛОГИКИ Доп.точки доступа: Белякин, Н. В.; Академия наук СССР. Сибирское отделениеИнститут математики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Г 830 Григолия, Реваз Шотаевич. Свободные алгебры неклассических логик / Р. Ш. Григолия ; Академия наук Грузинской ССР, Институт кибернетики. - Тбилиси : Мецниереба, 1987. - 110 с. : ил. - Библиогр.: с. 107-109 . - 1.10 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Доп.точки доступа: Академия наук Грузинской ССР; Институт кибернетики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 З-156 Задоян, К. Сложность задачи разбиения множества нулей булевой функции на непересекающиеся подмножества / К. Задоян ; Академия наук СССР. - Москва : Вычислительный центр Академии наук СССР, 1988. - 20 с. : ил. - (Сообщения по прикладной математике). - Библиогр.: с. 19-20. - 0.05 р.
Кл.слова (ненормированные): ФУНКЦИИ БУЛЕВЫ -- ГРАФОВ ТЕОРИЯ Доп.точки доступа: Академия наук СССР Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Л 551 Либер, Александр Евгеньевич. Двоичная Булева алгебра и ее приложения / А. Е. Либер. - Саратов : Издательство Саратовского университета, 1966. - 80 с. : ил. - 0.16 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- ФУНКЦИИ БУЛЕВЫ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 М 545 Методы решения булевых уравнений / Н. Н. Катериночкина [и др.] ; Академия наук СССР, Вычислительный центр. - Москва : Вычислительный центр Академии наук СССР, 1988. - 21 с. - (Сообщения по прикладной математике). - 0.05 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- УРАВНЕНИЯ БУЛЕВЫ Доп.точки доступа: Катериночкина, Н. Н.; Королева, З. Е.; Мадатян, Х. А.; Платоненко, И. М.; Академия наук СССР. Вычислительный центр Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 Н 602 Нигматуллин, Р. Г. Сложность булевых функций / Р. Г. Нигматуллин. - Москва : Наука, 1991. - 238 с. - 3.30 р.
Кл.слова (ненормированные): ФУНКЦИИ БУЛЕВЫ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
512 С 356 Сикорский, Роман. Булевы алгебры / Р. Сикорский ; пер. с английского А. С. Мищенко. - Москва : Мир, 1969. - 375 с. - Библиогр.: с. 340-369. - Предм. указ.: с. 370-373 . - 1.44 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Доп.точки доступа: Мищенко, А. С. \пер. с английского.\ Экземпляры всего: 3 Х (1), АБН (2) Свободны: Х (1), АБН (2) |