Record:   Prev Next
作者 TABLEAUX 2007 (2007 : Aix en Provence, France)
書名 Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings / Nicola Olivetti (ed.)
出版項 Berlin : Springer, 2007
國際標準書號 9783540730989 (pbk.)
3540730982 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2007  LNCS 4548    館內使用    30330000193875
Record:   Prev Next