Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/13614
Title: | Implementation of the synchronizing constrained Horn solver |
Other Titles: | Реализация синхронизирующего решателя дизъюнктов Хорна |
Authors: | Федюкович Григорий Геннадьевич Черниговская Лидия Александровна Chernigovskaia Lidiia Кириленко Яков Александрович Kirilenko Iakov Аleksаndrovich |
Issue Date: | 2018 |
URI: | http://hdl.handle.net/11701/13614 |
Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
diploma_chernigovskaya.pdf | Article | 168,41 kB | Adobe PDF | View/Open |
reviewSV_CHernigovskaya.pdf | ReviewRev | 126,57 kB | Adobe PDF | View/Open |
reviewSV_stt08459_Fedyukovich_Grigorij_Gennadevich_(reviewer)(Ru).txt | ReviewRev | 8,95 kB | Text | View/Open |
reviewSV_st007829_Kirilenko_YAkov_Aleksandrovich_(supervisor)(Ru).txt | ReviewSV | 5,16 kB | Text | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.