| Scientific Advisor | Кияткин, Владимир Ростиславович | |
| Author | Бурмакина, Анастасия Сергеевна | |
| Accessioned Date | 2016-11-22T05:52:08Z | |
| Available Date | 2016-11-22T05:52:08Z | |
| Issued Date | 2016 | |
| Bibliographic Citation | Бурмакина, Анастасия Сергеевна. Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2 [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / А. С. Бурмакина. — Красноярск : СФУ, 2016. | |
| URI (for links/citations) | https://elib.sfu-kras.ru/handle/2311/28617 | |
| Language | ru_RU | |
| Publisher | Сибирский федеральный университет | |
| Title | Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2 | |
| Type | Thesis | |
| Type | Bachelor Thesis | |
| Graduate Speciality Code | 01.03.01 | |
| Academic Degree or Qualification | Бакалавр | |
| Publisher Location | Красноярск | |
| GRNTI | 27.03 | |
| Update Date | 2016-11-22T05:52:08Z | |
| Institute | Институт математики и фундаментальной информатики | |
| Department | Кафедра алгебры и математической логики | |
| Graduate Speciality | 01.03.01 Математика | |
| Scientific Advisor Information | кандидат физико-математических наук, доцент | |
