Литвиненко А. Е. Определение класса истинности логических формул методом направленного перебора / А. Е. Литвиненко // Кибернетика и систем. анализ. - 2000. - № 5. - С. 23-31. - Библиогр.: 11 назв. - рус.
Описано алгоритм доведення здійсненості, загальнозначущості або протиріччя логічних формул, що базуються на методі спрямованого перебору варіантів значень істинності змінних.
Шифр НБУВ: Ж29114Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"