Record:   Prev Next
作者 TABLEAUX 2003 (2003 : Rome, Italy)
書名 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / Marta Cialdea Mayer, Fiora Pirri (eds.)
出版項 Berlin ; New York : Springer, 2003
國際標準書號 3540407871 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2003  LNCS 2796    館內使用    30330000162037
Record:   Prev Next