Серия: Математическое обеспечение ЭВМ 1988 г.; Изд-во: М.: Мир
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя ...