Формальные и неформальные методы логического вывода заключений из посылок, включая прямой и обратный вывод.
Статей пока нет. Будьте первым!