作者 International Workshop on Computer Science Logic (18th : 2004 : Karpacz, Poland)
書名 Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
出版項 Berlin : Springer, 2004
國際標準書號 3540230246 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 C7383 2004  LNCS 3210    館內使用    30330000169529
說明 xi, 520 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3210
附註 Includes bibliographical references and author index
Also available online
主題 Computer logic -- Congresses
Pattern recognition iis
Programming languages iis
Logics of programs iis
Alt Author Marcinkowski, Jerzy
Tarlecki, Andrzej
European Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland)
Alt Title CSL 2004