V Киевский симпозиум по науковедению и научно-техническому прогнозированию /
Автоматизация логического проектирования цифровых устройств /
Автоматизация научных исследований и технической подготовки производства /
Автоматизация обработки математических текстов /
Автоматизация обработки математических текстов и вопросы создания роботов /
Автоматизация поиска доказательства теорем в математике /
Автоматизация программирования /
Автоматизация проектирования вычислительных машин /
Автоматизация проектирования информационных систем /
Автоматизация проектирования ЭВМ /
Автоматизация проектирования ЭВМ и их компонентов /
Автоматизация проектирования ЭВМ : Материалы всесоюзной конференции /
Автоматизация технического этапа проектирования микроэлектронных ЦВМ /
Автоматизация управления промышленными объектами /
Автоматизированное проектирование логико-динамических систем /