MARC 主機 00000cam  2200000 a 4500 
008    020425s2002    gw       b    101 0 eng d 
020    3540432876 (pbk.) 
040    AS|cAS|dIIS 
111 2  International Workshop on Types for Proofs and Programs
       |d(2000 :|cDurham, Enbland) 
245 10 Types for proofs and programs :|binternational workshop, 
       TYPES 2000, Durham, UK, December 8-12, 2000 : selected 
       papers /|cPaul Callaghan ... [et al.] (Eds.) 
246 38 TYPES 2000 
260    Berlin :|bSpringer,|c2002 
300    viii, 242 p. ;|c24 cm 
440  0 Lecture notes in computer science,|x0302-9743 ;|v2277 
504    Includes bibliographical references and index 
530    Also available online 
650  0 Automatic theorem proving|vCongresses 
650  0 Computer programming|vCongresses 
700 1  Callaghan, Paul 
856 41 |uhttp://link.springer-ny.com/link/service/series/0558/
       tocs/t2277.htm|zConnect to this title online 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.3 T991 2000  LNCS 2277    館內使用    30330000151543