Расширенный поиск по каталогам

   Автоматизация поиска доказательства теорем в математике. - Киев : Институт кибернетики АН УССР, 1974. - 109 с.

   Автоматизация поиска новых технических решений: Межвузовский сборник. - Горький, 1980. - 175 с.

   Автоматизация поиска технических решений на ранних стадиях проектирования. - Йошкар-Ола : МарГУ, 1982. - 259 с. - Межвузовский сборник.

   Автоматизация поискового конструирования. - Горький, 1978. - 167 с.

   Автоматизация поискового конструирования: Межвузовский сборник. - Горький, 1979. - 190 с.

   Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании) / ред. Половинкин А. И. - М. : Радио и связь, 1981. - 343 с. - Библиогр.: с. 324-337.

   Автоматизация построения тренажеров и обучающих систем. - Киев : Наукова думка, 1989. - 197 с.

   Автоматизация преобразования и обработки графической информации в высокоинформативных системах. - Минск : Инс-т технической кибернетики, 1990. - 113 с.

   Автоматизация преобразования сложных форм графической информации / Ред. Леонович Э. Н. - Минск : Наука и техника, 1973. - 180 с.

   Автоматизация, приборы контроля и регулирования производственных процессов в нефтяной и нефтехимической промышленности: серия справочников. - М. : Гостоптехиздат.
   Кн.1 : Метрология, специальные общетехнические вопросы. - 1962. - 785 с.