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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext