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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
TABLEAUX 2005 (2005 : Koblenz, Germany)
Berlin ; New York : Springer, 2005
2005
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2005  LNCS 3702    館內使用    30330000177381
2
book jacket

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
TABLEAUX 2005 (2005 : Koblenz, Germany)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

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