MARC 主機 00000cam  2200000 a 4500 
001      2001042663 
003    DLC 
005    20010807103039.0 
008    010614s2001    enka     b    000 0 eng   
010    2001042663 
020    1852335262 (alk. paper) 
035    .b2065943x 
040    DLC|cDLC|dDLC|dAS 
042    pcc 
050 00 QA164|b.D62 2001 
082 00 511/.6|221 
111 2  DMTCS '01|d(2001 :|cConstanta, Romania) 
245 10 Combinatorics, computability, and logic :|bproceedings of 
       the Third International Conference on Combinatorics, 
       Computability, and Logic, (DMTCS '01) /|cC.S. Calude, M.J.
       Dinneen, and S. Sburlan (eds.) 
260    London ;|aNew York :|bSpringer,|cc2001 
300    x, 251 p. :|bill. ;|c24 cm 
440  0 Discrete mathematics and theoretical computer science,
       |x1439-9911 
504    Includes bibliographical references 
650  0 Combinatorial analysis|vCongresses 
650  0 Computational complexity|vCongresses 
650  0 Logic, Symbolic and mathematical|vCongresses 
700 1  Calude, Cristian,|d1952- 
700 1  Dinneen, M. J.,|d1957- 
700 1  Sburlan, Silviu 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA164 D62 2001    在架上    30340200415416