Record:   Prev Next
書名 Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds
出版項 Berlin ; New York : Springer-Verlag, c1994
國際標準書號 3540580859 : DM72.00 (Berlin : pbk. : acid-free paper)
0387580859 (New York : pbk. : acid-free paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.806    在架上    30340200307530
 資訊所圖書室叢書區  SerPro F3.3 T991 1993  LNCS 806    館內使用    30330000097357
Record:   Prev Next