Логическое программирование в ограничениях: семантический подход Манцивода, Андрей Валерьевич ВАК РФ 05.13.11 Стр. 1 из 26