Record:   Prev Next
書名 Mathematical logic in computer science / edited by B. Dömölki and T. Gergely
出版項 Amsterdam ; New York : North-Holland Pub. Co., 1981
國際標準書號 0444854401
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76 D6    在架上    30340200183253
 資訊所圖書室圖書區  F4.1 M426    在架上    30330000041652
說明 758 p. : ill. ; 25 cm
系列 Colloquia mathematica societatis János Bolyai, 0139-3383 ; 26
附註 Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society
主題 Programming (Electronic computers) -- Addresses, essays, lectures
Programming languages (Electronic computers) -- Semantics -- Addresses, essays, lectures
Mathematical logic iis
Alt Author Dömölki, B
Gergely, T. (Tamás)
Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)
Bolyai János Mathematikai Társulat
Record:   Prev Next