Вернуться к Подробностям о статье
Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом
Скачать
Скачать PDF