Стратегии применения правил при построении доказательств методом резолюциикурсовая работа (Бакалавр)