記錄 1 之 2
Record:   Prev Next
作者 Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany)
書名 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.], eds
出版項 Berlin ; New York : Springer-Verlag, c1991
國際標準書號 3540544879 (Berlin : acid-free paper)
0387544879 (New York : acid-free paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 C7383 1990  LNCS 533    館內使用    30330000080775
 數學所圖書室  QA75.5 .L42  v.533    在架上    30340200299166
說明 viii, 399 p.: ill. ; 25 cm
系列 Lecture notes in computer science ; 533
附註 A selection of papers presented at the workshop CSL'90 which was held at the Max-Planck-Haus in Heidelberg, Germany from October 1-5, 1990
Includes bibliographical references
主題 Computer science -- Mathematics -- Congresses
Computers -- Congresses
Electronic data processing -- Congresses
Logic, Symbolic and mathematical -- Congresses
Pattern recognition iis
Programming languages iis
Logics of programs iis
Alt Author Börger, E. (Egon), 1946-
Alt Title CSL '90
記錄 1 之 2
Record:   Prev Next