Browsing by Subject q-consensus
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2013 | 量化布林代數認證之化簡 Simplification of Quantified Boolean Formula Certificates | Shuo-Ren Lin; 林碩紝 | 電子工程學研究所 |
DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More