Пошуковий запит: (<.>U=В128.2$<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
1. | Ж29114 Кметь А. Б. К минимизации логических функций. Метод субимпликант [Текст]: 3 // Кибернетика и систем. анализ.-С.84-99
|
2. | Ж14024 Кметь А. Б. Новий підхід до мінімізації логікових функцій. Метод максимальних сегментів [Текст]: 2 // Управляющие системы и машины.-С.10-20, 49
|
3. | Ж15664 Пинько О. П. Секвенціальні системи виведення для багатозначних логік [Текст]: 2 // Мат. машини і системи.-С.166-174
|
4. | Ж69583/Сер.А Лавренко Н. И. Групповая инвариантность двузначной логики. I [Текст]: 1 // Вісн. Донец. ун-ту. Сер. А. Природн. науки.-С.22-30
|
5. | Ж15477 Коноплянко З. Д. Дослідження класів упорядкованих двомісних k-значних комутаційних функцій [Текст]: 4 // Искусств. интеллект.-С.45-51
|
6. | Ж28079/фіз.-мат. Нікітченко М. С. Семантичні властивості монотонних логік Флойда - Хоара [] // Вісник Київського національного університету. Серія Фізико-математичні науки, 2012,N Вип. 3.-С.215-222
|
7. | Ж22412/а Пынько А. П. Секвенциальные исчисления для конечнозначных логик с определителем равенства [] // Доповіді Національної академії наук України, 2003,N № 8.-С.69-75
|
8. | Ж22412/а Пынько А. П. Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [] // Доповіді Національної академії наук України, 2005,N № 3.-С.66-71
|
9. | Ж22412/а Пынько А. П. Алгебраические критерии алгебраизуемости секвенциальных исчислений для конечнозначных логик с определителем равенства [] // Доповіді Національної академії наук України, 2006,N № 2.-С.88-93
|
10. | Ж22412/а Пынько А. П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства [] // Доповіді Національної академії наук України, 2007,N № 3.-С.45-51
|
11. | Ж22412/а Пынько А. П. Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства [] // Доповіді Національної академії наук України, 2008,N № 4.-С.51-54
|
12. | Ж22412/а Пынько А. П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства [] // Доповіді Національної академії наук України, 2011,N № 9.-С.36-41
|
13. | Ж14024 Rytsar B. Ye. A simple minimization method of the variables number in the complete and incomplete logic system functions. Pt. 2 [] // Управляющие системы и машины, 2017,N № 5.-С.16-24
|