Вернуться к Подробностям о статье Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов Скачать Скачать PDF