English  |  正體中文  |  简体中文  |  Total items :2815447  
Visitors :  27408040    Online Users :  750
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"christoph scholl"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 1-4 of 4  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 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

Showing items 1-4 of 4  (1 Page(s) Totally)
1 
View [10|25|50] records per page