English  |  正體中文  |  简体中文  |  總筆數 :2817692  
造訪人次 :  27830322    線上人數 :  526
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (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]項目