Логический вывод на основе нечеткой метаимпликации
Информатика, программирование