Record:   Prev Next
作者 Kurt Gödel Colloquium (5th : 1997 : Vienna, Austria)
書名 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
出版項 Berlin ; New York : Springer-Verlag, c1997
國際標準書號 3540633855(pbk. : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 C7383 1997  LNCS 1289    館內使用    30330000123039
 數學所圖書室  QA75.5 .L42  v.1289    在架上    30340200362410
Record:   Prev Next