MARC 主機 00000nam  2200000 a 4500 
008    041013s2004    gw       b    101 0 eng d 
020    3540230246 (pbk.) 
040    AS|cAS|dIIS 
111 2  International Workshop on Computer Science Logic|n(18th :
       |d2004 :|cKarpacz, Poland) 
245 10 Computer science logic :|b18th international workshop, CSL
       2004, 13th Annual Conference of the EACSL, Karpacz, Poland,
       September 20-24, 2004 : proceedings /|cJerzy Marcinkowski,
       Andrzej Tarlecki (eds.) 
246 30 CSL 2004 
260    Berlin :|bSpringer,|c2004 
300    xi, 520 p. :|bill. ;|c24 cm 
440  0 Lecture notes in computer science,|x0302-9743 ;|v3210 
504    Includes bibliographical references and author index 
530    Also available online 
650  0 Computer logic|xCongresses 
650  7 Pattern recognition|2iis 
650  7 Programming languages|2iis 
650  7 Logics of programs|2iis 
700 1  Marcinkowski, Jerzy 
700 1  Tarlecki, Andrzej 
710 2  European Association for Computer Science Logic.
       |bConference|n(13th :|d2004 :|cKarpacz, Poland) 
856 41 |uhttp://link.springer-ny.com/link/service/series/0558/
       tocs/t3210.htm|zConnect to this title online 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.0 C7383 2004  LNCS 3210    館內使用    30330000169529