Algorithms and Data Structures for Manipulating Boolean Functions
Kyoto University (京都大学) === 0048 === 新制・課程博士 === 博士(工学) === 甲第5717号 === 工博第1363号 === 新制||工||948(附属図書館) === UT51-94-J149 === 京都大学大学院工学研究科情報工学専攻 === (主査)教授 矢島 脩三, 教授 津田 孝夫, 教授 上林 彌彦 === 学位規則第4条第1項該当...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Kyoto University
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/74648 |