СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Кандидат технических наук.
    Темы исследований: исследование алгоритмов анализа нелинейных электронных схем и их реализация на ЭЦВМ; моделирование задач АСУС строительства; теория и практика искусственного интеллекта в автоматическом доказательстве теорем и др.

        Источники информации
    Теория и практика искусственного интеллекта в автоматическом доказательстве теорем : методические указания / А. И. Кондратенко, В. А. Кондратенко. — Киев, 2006. (1//213041(039))
    Электронный каталог Национальной библиотеки Украины им. В. И. Вернадского.