В.Н. Агафонов

Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлнсп н др.), методы реализации н проекты машинных архитектур. В сборник включен специально написанный обзор литературы по...

Издательство: RUGRAM