学位論文 Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems

Nagao, Atsuki

2015-03-23 , Kyoto University
内容記述
新制・課程博士
甲第19129号
情博第575号
本文を読む

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/199453/1/yjohk00575.pdf

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/199453/2/djohk00575.pdf

このアイテムのアクセス数:  回

その他の情報