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

浏览

消息

著作权

相关连结

"christoph scholl"的相关文件

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

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

机构 日期 题名 作者
臺大學術典藏 2019-10-24T07:45:24Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving 江介宏;JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:24Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving 江介宏;JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:43:11Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:11Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG

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