Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42386
Название: | Congruence closure over interpreted symbols |
Другие названия: | Конгруэнтное замыкание над интерпретируемыми знаками |
Авторы: | Бохуа Чжань Bohua Czan Го Том Ичжоу Go Tom Iczou Петров Федор Владимирович Petrov Fedor Vladimirovic |
Дата публикации: | 2023 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/42386 |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
thesis_with_title_page_yizhou_guo.pdf | Article | 317,92 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_otz_GO.pdf | ReviewSV | 81,76 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.