Spelling suggestions: "subject:"exponential time algorithms"" "subject:"exponential time flgorithms""
1 |
Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems / 木構造関数値評価問題と分岐プログラム充足性問題に対する計算複雑さNagao, Atsuki 23 March 2015 (has links)
京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19129号 / 情博第575号 / 新制||情||101(附属図書館) / 32080 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授 岩間 一雄, 教授 髙木 直史, 教授 五十嵐 淳 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM
|
Page generated in 0.0952 seconds