Бібліографічний опис:
Кондратенко, В. А. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Електронна копія] : метод. указ. по мат. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. — Электрон. текст. дан. (1 файл : 19,9 Мб). — Киев : Поліграфкнига, 2006 (Київ: НБУ ім. Ярослава Мудрого, 2021).

Оригінал друкованого документу зберігається в НБУ ім. Ярослава Мудрого: Кондратенко В. А. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем : метод. указ. по мат. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. — Киев : Поліграфкнига, 2006. — 76, [3] с. : табл.