Минимизация КНФ частично-монотонных булевых функций by Пынько, А.П.

Get full text

Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства... by Пынько, А.П.

Get full text

Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства by Пынько, А.П.

Get full text

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства... by Пынько, А.П.

Get full text

Приложение логического программирования к многозначной логике с относительной истиной by Пынько, А.П.

Get full text