儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-6 之 6)
Creignou, Nadia
1
book jacket

Complexity classifications of Boolean constraint satisfaction problems
Creignou, Nadia
Philadelphia : Society for Industrial and Applied Mathematics, 2001
 
2001
紙本資料

館藏地: 數學所圖書室
2
book jacket

Complexity classifications of Boolean constraint satisfaction problems
Creignou, Nadia
Philadelphia, PA : Society for Industrial and Applied Mathematics, c2001
c2001
電腦檔

館藏地: 統計所圖書館
3
book jacket

Complexity classifications of Boolean constraint satisfaction problems
Creignou, Nadia
Philadelphia : Society for Industrial and Applied Mathematics, c2001
c2001
電子書

館藏地: 中央研究院
4
book jacket

Complexity of constraints an overview of current research themes

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
2008
電子書

館藏地: 中央研究院
5
book jacket

Complexity of constraints : an overview of current research themes

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
2008
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I2.9 C736  LNCS 5250    館內使用    30330000216643
6
book jacket

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings
SAT (Conference) (19th : 2016 : Bordeaux, France)
Cham : Springer International Publishing : Imprint: Springer, 2016
2016
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄