Record:   Prev Next
書名 Resolution methods for the decision problem / C. Fermüller ... [et al.]
出版項 Berlin ; New York : Springer-Verlag, c1993
國際標準書號 3540567321 (Berlin : alk. paper)
0387567321 (New York : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.3 R4345  LNCS 679    在架上    30330000092705
 數學所圖書室  QA75.5 .L42  v.679    在架上    30340200294324
Record:   Prev Next