Record:   Prev Next
作者 Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)
書名 Computational logic and proof theory : third kurt godel colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
出版項 Berlin ; New York : Springer-Verlag, c1993
國際標準書號 0387571841 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 C7383 1993  LNCS 713    館內使用    30330000093000
 數學所圖書室  QA75.5 .L42  v.713    在架上    30340200301855
Record:   Prev Next