Пынько А. П.
Приложение логического программирования к многозначной логике с относительной истиной / А. П. Пынько // Управляющие системы и машины. - 2013. - № 1. - С. 58-65. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_9
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.
Цитованість авторів публікації:Пынько А.
Бібліографічний опис для цитування:
Пынько А. П. Приложение логического программирования к многозначной логике с относительной истиной / А. П. Пынько // Управляющие системы и машины. - 2013. - № 1. - С. 58-65. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_9.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити
"Анкету науковця"
|