Record:   Prev Next
作者 Williams, James G
書名 Instantiation theory : on the foundations of automated deduction / J.G. Williams
出版項 Berlin ; New York : Springer-Verlag, c1991
國際標準書號 3540543333 (Berlin : acid-free paper)
0387543333 (New York : acid-free paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser I2.3 W724  LNCS 518    在架上    30330000080403
 數學所圖書室  QA75.5 .L42  v.518    在架上    30340200299018
Record:   Prev Next