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