Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/13614
Название: | Implementation of the synchronizing constrained Horn solver |
Другие названия: | Реализация синхронизирующего решателя дизъюнктов Хорна |
Авторы: | Федюкович Григорий Геннадьевич Черниговская Лидия Александровна Chernigovskaia Lidiia Кириленко Яков Александрович Kirilenko Iakov Аleksаndrovich |
Дата публикации: | 2018 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/13614 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
diploma_chernigovskaya.pdf | Article | 168,41 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_CHernigovskaya.pdf | ReviewRev | 126,57 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_stt08459_Fedyukovich_Grigorij_Gennadevich_(reviewer)(Ru).txt | ReviewRev | 8,95 kB | Text | Просмотреть/Открыть |
reviewSV_st007829_Kirilenko_YAkov_Aleksandrovich_(supervisor)(Ru).txt | ReviewSV | 5,16 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.