Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000184505<.>) |
Загальна кількість знайдених документів : 1
|
Крывый С. Л. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С. Л. Крывый, С. В. Волошин, Н. С. Маркова // Пробл. програмув. - 2008. - N 2/3 (спец. вип.). - С. 25-30. - Библиогр.: 4 назв. - рус.Описан подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|