Stav dette: Исследование производительности алгоритмов логического вывода; Молодежь и современные информационные технологии