ВА703449 Кондратенко В. А. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Текст] : Методические указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. - К. : Полиграфкнига, 2006. - 80 с.