MARC 主機 00000cam  22000008a 4500 
001       99088969 
003    DLC 
005    20000214134714.0 
008    991228s1999    gw a     b    000 0 eng   
010    99088969 
020    3540669930  (alk. paper) 
035    .b19434856 
040    DLC|cDLC|dDLC|dIIS|dMATH 
050 00 QA76.9.M35|bE97 1997 
082 00 511.3|221 
111 2  European Summer School in Logic, Language, and Information
       |n(9th :|d1997 :|cAix-en Provence, France) 
245 10 Generalized quantifiers and computation :|b9th European 
       Summer School in Logic, Language, and Information, 
       ESSLLI'97 : Aix-en-Provence, France, August 1997 : revised
       lectures /|cJouko Väänänen, (ed.) 
260    Berlin ;|aNew York :|bSpringer,|cc1999 
300    139 p. :|bill. ;|c24 cm 
440  0 Lecture notes in computer science ;|v1754 
504    Includes bibliographical references 
530    Also available online 
650  0 Computer science|xMathematics 
650  0 Computer logic 
650  0 Programming languages (Electronic Computers) 
700 1  Väänänen, J.|q(Jouko),|d1950- 
856 41 |uhttp://www.springerlink.com/openurl.asp?genre=issue&
       issn=0302-9743&volume=1754|zConnect to this title online 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 E895 1999  LNCS 1754    館內使用    30330000139407
 數學所圖書室  QA75.5 .L42  v.1754    在架上    30340200421539