Архив открытого доступаСанкт-Петербургского государственного университета
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.