Кибернетический сборник. Новая серия. Выпуск 22

Лупанов О.Б. (ред.)

Продолжение серии, начатой издательством в 1965 г. В выпуске содержатся обзорные статьи и оригинальные работы известных зарубежных ученых по наиболее актуальным проблемам теоретической кибернетики. Большой интерес представляют статьи Д. Плейстида по автоматическому доказательству теорем и И. Вегенера по монотонной сложности булевых функций. Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся и интересующихся теоретической кибернетикой и ее приложениями.