Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/26787
Title: | On proof systems based on binary decision diagrams |
Other Titles: | Системы доказательств, основанные на диаграммах принятия решений |
Authors: | Кноп Александр Анатольевич Knop Aleksandr Anatolevic Смирнов Петр Юрьевич Smirnov Petr Urevic Ицыксон Дмитрий Михайлович Icykson Dmitrij Mihajlovic |
Issue Date: | 2020 |
URI: | http://hdl.handle.net/11701/26787 |
Appears in Collections: | MASTER'S STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis.pdf | Article | 429,05 kB | Adobe PDF | View/Open |
reviewSV_Smirnov_supervisor.pdf | ReviewSV | 86,59 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.