В данном выпуске известной серии содержатся оригинальные и обзорные работы известных зарубежных ученых по актуальным проблемам теоретической кибернетики и ее приложениям. Автоматическому доказательству теорем посвящена статья Же Сяна (США), в статье Т. Феннера и А. Фриза (США) обсуждаются вопросы сложности и теории графов. Большой интерес представляют
две статьи Ло Чжукая (КНР) по проблеме полноты в многозначной логике, статья Т. Хеллесета... (Подробнее)
