作者 European Summer School in Logic, Language, and Information (9th : 1997 : Aix-en Provence, France)
書名 Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 : Aix-en-Provence, France, August 1997 : revised lectures / Jouko Väänänen, (ed.)
出版項 Berlin ; New York : Springer, c1999
國際標準書號 3540669930 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 E895 1999  LNCS 1754    館內使用    30330000139407
 數學所圖書室  QA75.5 .L42  v.1754    在架上    30340200421539
說明 139 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 1754
附註 Includes bibliographical references
Also available online
主題 Computer science -- Mathematics
Computer logic
Programming languages (Electronic Computers)
Alt Author Väänänen, J. (Jouko), 1950-