Description

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

Reviews ( 0 )
Once a month we give presents to the most active reader.
Post more reviews and get a reward!
Quotes (0)
You can first publish a quote
Top