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

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings
SAT 2007 (2007 : Lisbon, Portugal)
Berlin Heidelberg : Springer-Verlag GmbH., 2007
2007
電子書

館藏地: 資訊所圖書室
2
book jacket

Theory and application of satisfiability testing SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings
SAT 2011 (2011 : Ann Arbor, Mich., USA)
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
2011
電子書

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