Н90 Нурлыбаев, А. Н. О реализации алгоритмов распознования типа "Перебора коньюнкций" [Текст] / А.Н. Нурлыбаев. - Алма-Ата : [б. и.], 1987. - с.145-148. - (Сб."ЭВМ и науч.-техн.прогресс"). - Б. ц.
Кл.слова (ненормированные): Булевы алгебры Держатели документа: Республиканская научно-техническая библиотека Казахстана Свободных экз. нет |
С50 Смаилова, У. М. Алгоритм нахождения стационарных решений регулярной оптимизационной задачи с булевыми переменными [Текст] / У.М. Смаилова; М-во образования Респ.Казахстан.Жамбыл.гидромелиоративно-строит.ин-т. - Жамбыл : [б. и.], 1997. - 21 с. - Библиогр.в конце текста. - Б. ц. Деп.в КазгосИНТИ 03.02.97,N7399
Кл.слова (ненормированные): Система координат Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 СВ (1) Свободны: СВ (1) |
Касымканулы, Борибай Группы автоморфизмов атомных булевых алгебр.01.01.06- математическая логика,алгебра и теория чисел [Текст] : автореф.дис.на соиск.учен.степ.канд.физ.-мат.наук / Борибай Касымканулы; Костан.гос.ун-т им.А.Байтурсынова ; Костанайский гос.ун-т им.А.Байтурсынова. - Костанай, 2000. - 13 с. - Библиогр.:с.10-11(18 назв.). -
Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Костанайский гос.ун-т им.А.Байтурсынова Экземпляры всего: 1 СВ (1) Свободны: СВ (1) |
Нигматуллин, Р. Г. Сложность булевых функций [Текст] / Р.Г.Нигматуллин. - М. : Наука, 1991. - 238 с. : ил. - Библиогр.:с.219-229(237 назв.). - ISBN 5-02-014258-1 : Б. ц.
Держатели документа: Республиканская научно-техническая билиотека Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
А 72 Антоновский, М. Я. Топологические алгебры Буля [Текст] / М. Я. Антоновский, В. Г. Болтянский, Т. А. Сарымсаков ; АН УзССР, Ташк.ун-т им.В.И.Ленина. - Ташкент : Изд-во Акад.наук УзССР, 1963. - 132 с. - (Топологич.полуполя). - Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Болтянский, В.Г.; Сарымсаков, Т.А. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Г 65 Гончаров, С. С. Счетные булевы алгебры [Текст] : монография / С. С. Гончаров ; ред. Ю. Л. Ершов ; АН СССР, Сиб.отд-ние, Ин-т математики. - Новосибирск : Наука.Сиб.отд-ние, 1988. - 175 с. : ил. - Библиогр.: с.171-174 (82 назв.) . - Б. ц.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Ершов, Ю.Л. \ред.\; АН СССР, Сиб.отд-ние, Ин-т математики Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |