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

Browse By
Institution
Author
Title
Date
Statistics Chart
Institution Facts
Trend

News
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

Copyright
Publisher & Journal Policy
TAIR Copyright Conference Minutes

Related Links
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
Taiwan Academic Institutional Repository >  Browse by Author

"magdalena widl"

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
臺大學術典藏 2018-09-10T15:26:17Z Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs Valeriy Balabanov;Jie-Hong R. Jiang;Mikolas Janota;Magdalena Widl; Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:26:17Z Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs Valeriy Balabanov;Jie-Hong R. Jiang;Mikolas Janota;Magdalena Widl; Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:00:43Z QBF Resolution Systems and their Proof Complexities Valeriy Balabanov;Magdalena Widl;Jie-Hong R. Jiang; Valeriy Balabanov; Magdalena Widl; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:00:43Z QBF Resolution Systems and their Proof Complexities Valeriy Balabanov;Magdalena Widl;Jie-Hong R. Jiang; Valeriy Balabanov; Magdalena Widl; Jie-Hong R. Jiang; JIE-HONG JIANG

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

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team