Record:   Prev Next
書名 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)
出版項 Berlin ; New York : Springer, c2000
國際標準書號 354067697X
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2000  LNCS 1847    館內使用    30330000141817
Record:   Prev Next