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

Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
TABLEAUX 2007 (2007 : Aix en Provence, France)
Berlin : Springer, 2007
2007
紙本資料

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

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings
TABLEAUX 2007 (2007 : Aix en Provence, France)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
2007
電子書

館藏地: 資訊所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄