Form of presentation | Conference proceedings in Russian journals and collections |
Year of publication | 2014 |
|
Khadiev Kamil Ravilevich, author
|
Bibliographic description in the original language |
Khadiev K.R. "Utochnenie ierarkhii klassov bulevykh funkciy, predstavimykh v modelyakh k-OBDD vetvyashhikhsya programm."[Tekst]/Khadiev K.R. //Problemy teoreticheskoy kibernetiki. Materialy XVII mezhdunarodnoy konferencii, Kazan: Otechestvo, 2014 |
Annotation |
Проблемы теоретической кибернетики. Материалы XVII международной конференци |
Keywords |
Ветвящаяся программа, OBDD, k-OBDD |
The name of the journal |
Проблемы теоретической кибернетики. Материалы XVII международной конференци
|
URL |
http://agora.guru.ru/ptk2014/files/ptk2014.pdf |
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=85089&p_lang=2 |
Full metadata record |
Field DC |
Value |
Language |
dc.contributor.author |
Khadiev Kamil Ravilevich |
ru_RU |
dc.date.accessioned |
2014-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2014-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2014 |
ru_RU |
dc.identifier.citation |
Хадиев К.Р. "Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ."[Текст]/Хадиев К.Р. //Проблемы теоретической кибернетики. Материалы XVII международной конференции, Казань: Отечество, 2014 |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=85089&p_lang=2 |
ru_RU |
dc.description.abstract |
Проблемы теоретической кибернетики. Материалы XVII международной конференци |
ru_RU |
dc.description.abstract |
В работе рассматриваются такие модели ветвящихся программ как детерминированная k-OBDD. Выстраивается иерархия классов булевых функций, представимых в этих моделях по параметру k. |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
Ветвящаяся программа |
ru_RU |
dc.subject |
OBDD |
ru_RU |
dc.subject |
k-OBDD |
ru_RU |
dc.title |
Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ. |
ru_RU |
dc.type |
Conference proceedings in Russian journals and collections |
ru_RU |
|