Record:   Prev Next
作者 TABLEAUX 2005 (2005 : Koblenz, Germany)
書名 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.)
出版項 Berlin ; New York : Springer, 2005
國際標準書號 3540289313 (pbk. : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2005  LNCS 3702    館內使用    30330000177381
Record:   Prev Next