Логическое программирование

• Обращаем внимание на то, что книга из раздела «БУКИНИСТИКА» (не новая), состояние хорошее

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

Для математиков-прикладников, программистов, аспирантов и студентов университетов.