Электронный каталог: Пхакадзе Георгий Михайлович - Логические программы с ограничениями