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

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
SAT 2004 (2004 : Vancouver, B.C.)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

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

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May, 10-13, 2004 : revised selecded papers
SAT 2004 (7th : 2004 : Vancouver, Canada)
Berlin : Springer, 2005
2005
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 T396:2 2004  LNCS 3542    在架上    30330000175856
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄