Вернуться к Подробностям о статье
Расширение возможностей логического анализа за счет уточнения интерпретации исчисления предикатов
Скачать
Скачать PDF