Record:   Prev Next
書名 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 1999 : proceedings / Neil V. Murray (ed.)
出版項 Berlin ; New York : Springer, c1999
國際標準書號 3540660860 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 1999  LNCS 1617    館內使用    30330000134986
Record:   Prev Next