English  |  正體中文  |  简体中文  |  总笔数 :2828147  
造访人次 :  32110181    在线人数 :  1438
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR

浏览

消息

著作权

相关连结

"sheng hsiu wei"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 1-4 / 4 (共1页)
1 
每页显示[10|25|50]项目

机构 日期 题名 作者
元智大學 2021/1/18 A General Equivalence Checking Framework for Multivalued Logic 陳勇志; Chia-Chun Lin; Hsin-Ping Yen; Sheng-Hsiu Wei; Pei-Pei Chen; Chun-Yao Wang
元智大學 2021/1/18 A General Equivalence Checking Framework for Multivalued Logic 陳勇志; Chia-Chun Lin; Hsin-Ping Yen; Sheng-Hsiu Wei; Pei-Pei Chen; Chun-Yao Wang
元智大學 2020/9/8 A Dynamic Expansion Order Algorithm for the SAT-based Minimization 陳勇志; Chia-Chun Lin; Kit Seng Tam; Chang-Cheng Ko; Hsin-Ping Yen; Sheng-Hsiu Wei; Chun-Yao Wang
元智大學 2020/9/8 A Dynamic Expansion Order Algorithm for the SAT-based Minimization 陳勇志; Chia-Chun Lin; Kit Seng Tam; Chang-Cheng Ko; Hsin-Ping Yen; Sheng-Hsiu Wei; Chun-Yao Wang

显示项目 1-4 / 4 (共1页)
1 
每页显示[10|25|50]项目